Constant sel4_config::consts::SIGNAL_FASTPATH

pub const SIGNAL_FASTPATH: bool = false;