xpq_queue_pte_update
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)),
void xpq_queue_pte_update(paddr_t, pt_entry_t);
xpq_queue_pte_update(l4_pd_ma + i * sizeof(pd_entry_t),
xpq_queue_pte_update(l3_pd + i * sizeof(pd_entry_t),
xpq_queue_pte_update(
xpq_queue_pte_update(addr, *pte | PTE_W);
xpq_queue_pte_update(addr, 0);
xpq_queue_pte_update(
xpq_queue_pte_update(
xpq_queue_pte_update(
xpq_queue_pte_update(
xpq_queue_pte_update(
xpq_queue_pte_update(