FSGSBASE_INST

sel4_config::consts

Constant FSGSBASE_INST 

Source 
pub const FSGSBASE_INST: bool = false;