xpmap_ptom_masked
return (pt_entry_t)xpmap_ptom_masked(pa);
return (pt_entry_t)xpmap_ptom_masked(pa);
xpq_queue_pin_l4_table(xpmap_ptom_masked(xen_dummy_user_pgd));
xpq_queue_pin_l4_table(xpmap_ptom_masked(pdirpa));
xpq_queue_pin_l2_table(xpmap_ptom_masked(pdirpa));
xpq_queue_pin_l2_table(xpmap_ptom_masked(pdirpa));
xpq_queue_unpin_table(xpmap_ptom_masked(pdirpa));
return (xpmap_ptom_masked(ppa) | (ppa & ~PTE_4KFRAME));
l4_pd_ma = xpmap_ptom_masked(ci->ci_kpm_pdirpa);
paddr_t l3_pd = xpmap_ptom_masked(ci->ci_pae_l3_pdirpa);
xpmap_ptom_masked(pmap_kernel()->pm_pdirpa[i]) | PTE_P;
ci->ci_kpm_pdir[PDIR_SLOT_PTE] = xpmap_ptom_masked(ci->ci_kpm_pdirpa)
xpq_queue_pin_l4_table(xpmap_ptom_masked(ci->ci_kpm_pdirpa));
ci->ci_pae_l3_pdir[3] = xpmap_ptom_masked(ci->ci_kpm_pdirpa) | PTE_P;
xpq_queue_pin_l3_table(xpmap_ptom_masked(ci->ci_pae_l3_pdirpa));
L4cpu[pl4_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W;
L4[pl4_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W;
L3[pl3_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W;
L3[i] = xpmap_ptom_masked(addr) | PTE_P;
L3[3] = xpmap_ptom_masked(addr) | PTE_P;
pte[pl1_pi(page)] = xpmap_ptom_masked(page - KERNBASE);
if ((xpmap_ptom_masked(page - KERNBASE) >> PAGE_SHIFT)
if ((xpmap_ptom_masked(page - KERNBASE) >> PAGE_SHIFT)
L2[pl2_pi(cur_page)] = xpmap_ptom_masked(addr) | PTE_W | PTE_P;
L4[PDIR_SLOT_PTE] = xpmap_ptom_masked((paddr_t)L4 - KERNBASE)
L4cpu[PDIR_SLOT_PTE] = xpmap_ptom_masked((paddr_t)L4cpu - KERNBASE)
L2[PDIR_SLOT_PTE + i] = xpmap_ptom_masked(addr) | PTE_P |
xpq_queue_pin_l2_table(xpmap_ptom_masked(addr));
xpq_queue_pin_l4_table(xpmap_ptom_masked(new_pgd - KERNBASE));
xpq_queue_pin_l3_table(xpmap_ptom_masked(new_pgd - KERNBASE));
xpq_queue_pt_switch(xpmap_ptom_masked(new_pgd - KERNBASE));
xpmap_ptom_masked(addr) | PTE_P);
xpq_queue_unpin_table(xpmap_ptom_masked(old_pgd - KERNBASE));
entry = xpmap_ptom_masked(page - KERNBASE);
op.arg1.mfn = xpmap_ptom_masked(page) >> PAGE_SHIFT;
xpq_queue_pt_switch(xpmap_ptom_masked(val));