Constant PF_MONITORX_INSTRUCTION_AVAILABLE

pub const PF_MONITORX_INSTRUCTION_AVAILABLE: u32 = 35;