sel4_config::consts

Constant KERNEL_X86_IBRS_NONE

Source 
pub const KERNEL_X86_IBRS_NONE: bool = true;