pmap_pa2pte
pte = pmap_pa2pte((vaddr_t)gdtstore - KERNBASE);
pte = pmap_pa2pte((vaddr_t)tmpgdt - KERNBASE);
npte = pmap_pa2pte(pa);
pmap_pa2pte(xen_dummy_user_pgd) | PTE_P | pmap_pg_nx,
(pmap_pa2pte(pa) | PTE_U | PTE_W | PTE_P));
pdir[PDIR_SLOT_PTE] = pmap_pa2pte(pdirpa);
pdir[PDIR_SLOT_PTE + i] = pmap_pa2pte(pdirpa) | PTE_P |
pmap_pte_set(zpte, pmap_pa2pte(pa) | pteflags);
pmap_pte_set(srcpte, pmap_pa2pte(srcpa) | pteflags);
pmap_pte_set(dstpte, pmap_pa2pte(dstpa) | pteflags | PTE_D);
pmap_pte_set(ptppte, pmap_pa2pte(VM_PAGE_TO_PHYS(ptp)) | pteflags);
expect = pmap_pa2pte(pa) | PTE_P;
pmap_pte_set(early_zero_pte, pmap_pa2pte(pa) | PTE_P |
pte = pmap_pa2pte(pa) | PTE_P | PTE_W;
expect = pmap_pa2pte(pa) | EPT_R;