ADDR_TO_PN
arp->low = ADDR_TO_PN(pap->base);
sfile.low_ppn = ADDR_TO_PN(phys);
cb_mapin(dst_virt, ADDR_TO_PN(dst_phys),
for (pfn = ADDR_TO_PN(pri->phys); pages--; pfn++) {