x86_64::msr
pub const IA32_X2APIC_IRR0: u32 = 2080
=
2080
x2APIC Interrupt Request register bits 31:0