sel4_config::consts

Constant KERNEL_X86_DANGEROUS_MSR

Source 
pub const KERNEL_X86_DANGEROUS_MSR: bool = false;