x86::msr
pub const IA32_X2APIC_IRR7: u32 = 2087
=
2087
x2APIC Interrupt Request register bits 255:224