FSGSBASE_MSR

sel4_config::consts

Constant FSGSBASE_MSR 

Source 
pub const FSGSBASE_MSR: bool = true;