GEN8_PDE_IPS_64K
vaddr[maybe_64K] |= GEN8_PDE_IPS_64K;
return !!(e->val64 & GEN8_PDE_IPS_64K);
e->val64 &= ~GEN8_PDE_IPS_64K;