pmap_pdirpa
store->cr3 = pmap_pdirpa(pmap_kernel(), 0);
lcr3(pmap_pdirpa(pmap_kernel(), 0));
lcr3(pmap_pdirpa(pmap, 0));
KASSERT(pmap_pdirpa(pmap, 0) == ci->ci_xen_current_user_pgd || \
KASSERT(pmap_pdirpa(pmap, 0) == pmap_pte2pa(ci->ci_pae_l3_pdir[0]))
KASSERT(pmap_pdirpa(pmap, 0) == pmap_pte2pa(rcr3()))
pcb->pcb_cr3 = pmap_pdirpa(pmap, 0);
lcr3(pmap_pdirpa(pmap_kernel(), 0));
tmp_pml[511] = pmap_pdirpa(pmap_kernel(), PDIR_SLOT_KERN) | PTE_P;
utls->kpdirpa = pmap_pdirpa(pmap, 0) | svs_pcid_kcr3;
xen_set_user_pgd(pmap_pdirpa(pmap, 0));
ci->ci_xen_current_user_pgd = pmap_pdirpa(pmap, 0);
pcb->pcb_cr3 = pmap_pdirpa(pmap_kernel(), 0);
xpmap_ptom(pmap_pdirpa(pm, PDIR_SLOT_PTE + i)),
xpmap_ptom(pmap_pdirpa(pmap_kernel(), PDIR_SLOT_PTE + i)),
xpmap_ptom(pmap_pdirpa(pm, PDIR_SLOT_PTE + i)), 0);
xpmap_ptom(pmap_pdirpa(pmap_kernel(), PDIR_SLOT_PTE + i)),