__pmap_kpte_lookup
pte = __pmap_kpte_lookup(va);
pt_entry_t *__pmap_kpte_lookup(vaddr_t);
pte = __pmap_kpte_lookup(vpn);
pte = __pmap_kpte_lookup(vpn);
pte = __pmap_kpte_lookup(va);
pte = __pmap_kpte_lookup(va);
pte = __pmap_kpte_lookup(va);
return (__pmap_kpte_lookup(va));
#define P1ADDR(x) (SH3_PHYS_TO_P1SEG(*__pmap_kpte_lookup(x) & PG_PPN))