sel4_config::consts

Constant FSGSBASE_INST

Source 
pub const FSGSBASE_INST: bool = false;