xpq_queue_machphys_update
void xpq_queue_machphys_update(paddr_t, paddr_t);
xpq_queue_machphys_update(((paddr_t)(mfn+i)) << PAGE_SHIFT, pa);
xpq_queue_machphys_update(((paddr_t)mfn) << PAGE_SHIFT, pa);
xpq_queue_machphys_update(ptoa(mfn_list[rpages]), pa);
xpq_queue_machphys_update(ptoa(mfn_list[rpages]), 0);
xpq_queue_machphys_update(ptoa(mfn_list[rpages]), pa);