sel4_config::consts

Constant FASTPATH

Source 
pub const FASTPATH: bool = true;