__test_icr
__test_icr(x, icr | i);
__test_icr(x, icr | i);
__test_icr(x, i << (32 + 24) | icr | (j << 8));
__test_icr(x, icr | (i << 8));
__test_icr(x, 0xa5a5a5a5a5a5a5a5 & ~APIC_DM_FIXED_MASK);
__test_icr(x, 0x5a5a5a5a5a5a5a5a & ~APIC_DM_FIXED_MASK);
__test_icr(x, -1ull & ~APIC_DM_FIXED_MASK);