PT_FOREIGN
| PT_FOREIGN | PT_WRITABLE;
PT_FOREIGN | PT_REF | PT_MOD) : \
PT_FOREIGN)
mapop[i].flags |= (PT_FOREIGN <<_GNTMAP_guest_avail0);
if ((pte & PT_SOFTWARE) >= PT_FOREIGN)
pte = mmu_ptob((x86pte_t)mfn) | PT_VALID | PT_USER | PT_FOREIGN;