141 	caddr_t paddr, vaddr;  in hat_kpm_mapin_pfn()  local
146 	paddr = (caddr_t)ptob(pfn);  in hat_kpm_mapin_pfn()
147 	vaddr = (uintptr_t)kpm_vbase + paddr;  in hat_kpm_mapin_pfn()
166 	uintptr_t	paddr, vaddr;  in hat_kpm_page2va()  local
170 	paddr = ptob(pp->p_pagenum);  in hat_kpm_page2va()
172 	vaddr = (uintptr_t)kpm_vbase + paddr;  in hat_kpm_page2va()
185 	uintptr_t	paddr;  in hat_kpm_vaddr2page()  local
190 	SFMMU_KPM_VTOP(vaddr, paddr);  in hat_kpm_vaddr2page()
191 	pfn = (pfn_t)btop(paddr);  in hat_kpm_vaddr2page()
328 	uintptr_t	paddr;  in sfmmu_kpm_vatopfn()  local
334 	SFMMU_KPM_VTOP(vaddr, paddr);  in sfmmu_kpm_vatopfn()
335 	pfn = (pfn_t)btop(paddr);  in sfmmu_kpm_vatopfn()