sel4_config::consts

Constant EXCEPTION_FASTPATH

Source 
pub const EXCEPTION_FASTPATH: bool = false;