xenmem_free_pa
void xenmem_free_pa(paddr_t, u_long);
xenmem_free_pa(base_paddr, nentries * PAGE_SIZE);
xenmem_free_pa(base_paddr, PAGE_SIZE * nentries);
xenmem_free_pa(pobj->u.pc.base_paddr, pobj->npages * PAGE_SIZE);
xenmem_free_pa(pobj->u.gr.base_paddr, pobj->npages * PAGE_SIZE);
xenmem_free_pa(base_paddr, pmb->num * PAGE_SIZE);
xenmem_free_pa(obj->u.gr.base_paddr, obj->npages * PAGE_SIZE);
xenmem_free_pa(base_paddr, PAGE_SIZE);