PTE_P
if (domain_map_page(d, gpa, hpa, PTE_P | PTE_R | PTE_W, 0) != 0)
if (pte[i].val & PTE_P) {
if (!(pte[i].val & PTE_P))
error = domain_map_page(dom, addr, addr, PTE_P | PTE_R | PTE_W, 0);
error = domain_map_page(dom, start, start, PTE_P | PTE_R | PTE_W, 0);
create = ((flags & PTE_P) != 0);
if (val & PTE_P) {
if (!(val & PTE_P)) {
pte->val = paddr | PTE_P | PTE_R | PTE_W;
if (!(val & PTE_P)) {
if (!(val & PTE_P)) {
create = ((flags & PTE_P) != 0);
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);
PTE_P | pteflag, pt_nowait);