Constant sel4_config::consts::FASTPATH

pub const FASTPATH: bool = true;