BIT_64
value &= ~BIT_64(32);
m1.q |= BIT_64(bit);
m1.q &= ~BIT_64(bit);
(sys_addr >= BIT_64(32)))
if (dhar_valid(pvt) && (sys_addr >= BIT_64(32)))
sys_addr < BIT_64(32)) {
sys_addr < BIT_64(32)) {
if (leg_mmio_hole && (sys_addr >= BIT_64(32)))
bool k8 = (boot_cpu_data.x86 == 0xf && (m->status & BIT_64(58)));