do_va2pa
static int do_va2pa(uintptr_t, struct as *, int, physaddr_t *, pfn_t *);
rc = do_va2pa(addr, (struct as *)addrspace, !piped, NULL, &mfn);
return (do_va2pa(addr, asp, 0, pap, NULL));