x86_64::msr
pub const IA32_X2APIC_IRR1: u32 = 2081
=
2081
x2APIC Interrupt Request register bits 63:32