Constant sel4_config::consts::EXCEPTION_FASTPATH

pub const EXCEPTION_FASTPATH: bool = false;