sel4_config::consts

Constant SIGNAL_FASTPATH

Source 
pub const SIGNAL_FASTPATH: bool = false;