pmap_kextract
printf("kextract %lx\n", pmap_kextract(va));
#define vtophys(va) pmap_kextract((vaddr_t)(va))
paddr_t pmap_kextract(vaddr_t va);
extern paddr_t pmap_kextract(vaddr_t va);
stba(pmap_kextract((vaddr_t)dst), ASI_PHYS_CACHED, *data);
ci->ci_tsb_desc->td_pa = pmap_kextract((vaddr_t)ci->ci_tsb_dmmu);
pa = pmap_kextract(va);
pa = pmap_kextract(va);
tsb_desc_p = pmap_kextract((vaddr_t)tsb_desc);
paddr_t pmap_kextract(vaddr_t va);
ktextp = pmap_kextract(ktext);
ektextp = roundup(pmap_kextract((vaddr_t)etext), PAGE_SIZE_4M);
kdatap = pmap_kextract(kdata);
ekdatap = roundup(pmap_kextract(kernelend), PAGE_SIZE_4M);
m_pa = pmap_kextract(m_va);