sel4_config::consts

Constant FSGSBASE_MSR

Source 
pub const FSGSBASE_MSR: bool = true;