x86_64::msr
pub const IA32_X2APIC_IRR3: u32 = 2083
=
2083
x2APIC Interrupt Request register bits 127:96