x86::msr
pub const IA32_X2APIC_IRR4: u32 = 2084
=
2084
x2APIC Interrupt Request register bits 159:128