vtophys_internal
static bool vtophys_internal(vaddr_t, paddr_t *p);
bool address_is_valid = vtophys_internal(va, pap);
return vtophys_internal(va, pap);
if (__predict_false(! vtophys_internal(vaddr, &pa)))