pmap_translation_info
int pmap_translation_info(pmap_t, vaddr_t, paddr_t *, uint32_t *);
rv = pmap_translation_info(pmap, va, &pa, &ti);