APIC_DM_FIXED_MASK
nmi = ((icr_low & APIC_DM_FIXED_MASK) == APIC_DM_NMI);
if ((h & APIC_DM_FIXED_MASK) != APIC_DM_FIXED)
__test_icr(x, 0xa5a5a5a5a5a5a5a5 & ~APIC_DM_FIXED_MASK);
__test_icr(x, 0x5a5a5a5a5a5a5a5a & ~APIC_DM_FIXED_MASK);
__test_icr(x, -1ull & ~APIC_DM_FIXED_MASK);