x86_64::msr
pub const IA32_X2APIC_IRR2: u32 = 2082
=
2082
x2APIC Interrupt Request register bits 95:64