PTE_IW
PTE_NXTLVL(2) | PTE_IR | PTE_IW | PTE_P,
PTE_NXTLVL(1) | PTE_IR | PTE_IW | PTE_P,
flags = PTE_P | PTE_R | PTE_W | PTE_IW | PTE_IR | PTE_NXTLVL(0);
ov |= (paddr & DTE_HPTRP_MASK) | PTE_IW | PTE_IR;