xpmap_ptetomach
frames[i] = ((paddr_t)xpmap_ptetomach((pt_entry_t *)va)) >>
xpq_queue_pte_update(xpmap_ptetomach(pte), npte);
xpq_queue_pte_update(xpmap_ptetomach(__UNVOLATILE(ptep)), n);
xpq_queue_pte_update(xpmap_ptetomach(__UNVOLATILE(pte)), npte);
xpq_queue_pte_update(xpmap_ptetomach(__UNVOLATILE(pte)), (*pte) | bits);
xpq_queue_pte_update(xpmap_ptetomach(__UNVOLATILE(pte)),
xpq_queue_pte_update(xpmap_ptetomach(pte), npte);
xpq_queue_pte_update(xpmap_ptetomach(__UNVOLATILE(ptep)), n);
xpq_queue_pte_update(xpmap_ptetomach(__UNVOLATILE(pte)), npte);
xpq_queue_pte_update(xpmap_ptetomach(__UNVOLATILE(pte)), (*pte) | bits);
xpq_queue_pte_update(xpmap_ptetomach(__UNVOLATILE(pte)),
op->host_addr = xpmap_ptetomach(ptep);
unmap_op.host_addr = xpmap_ptetomach(&ptes[pl1_i(va)]);
frames[i] = ((paddr_t)xpmap_ptetomach(
xpmap_ptetomach(&ci->ci_kpm_pdir[index]),
xpmap_ptetomach(&ci->ci_kpm_pdir[l2tol2(index)]),