pub const IA32_X2APIC_IRR4: u32 = 0x824;
Expand description

x2APIC Interrupt Request register bits [159:128] (R/O)