sel4_config::consts

Constant SYSENTER

Source 
pub const SYSENTER: bool = false;