122 va_to_pfn(void *vaddr)  in va_to_pfn()  argument
128 		return (hat_getpfnum(kas.a_hat, (caddr_t)vaddr));  in va_to_pfn()
132 	    (caddr_t)vaddr >= kmem64_base && (caddr_t)vaddr < kmem64_end) {  in va_to_pfn()
135 		physaddr = kmem64_pabase + ((caddr_t)vaddr - kmem64_base);  in va_to_pfn()
140 	if ((prom_translate_virt(vaddr, &valid, &physaddr, &mode) != -1) &&  in va_to_pfn()
148 va_to_pa(void *vaddr)  in va_to_pa()  argument
152 	if ((pfn = va_to_pfn(vaddr)) == PFN_INVALID)  in va_to_pa()
155 	    ((uint64_t)vaddr & MMU_PAGEOFFSET));  in va_to_pa()
256 	caddr_t vaddr;  in sfmmu_map_prom_mappings()  local
269 		vaddr = (caddr_t)COMBINE(promt->virt_hi, promt->virt_lo);  in sfmmu_map_prom_mappings()
274 		if (vaddr < (caddr_t)KERNELBASE)  in sfmmu_map_prom_mappings()
306 			vaddr = (caddr_t)(COMBINE(promt->virt_hi,  in sfmmu_map_prom_mappings()
312 			if (address_in_memlist(virt_avail, (uint64_t)vaddr,  in sfmmu_map_prom_mappings()
336 			    vaddr >= kmem64_base &&  in sfmmu_map_prom_mappings()
337 			    vaddr < kmem64_aligned_end) {  in sfmmu_map_prom_mappings()
345 				    kmem64_pabase + (vaddr - kmem64_base)) {  in sfmmu_map_prom_mappings()
350 				mapsz = kmem64_aligned_end - vaddr;  in sfmmu_map_prom_mappings()
360 			oldpfn = sfmmu_vatopfn(vaddr, KHATID, &oldtte);  in sfmmu_map_prom_mappings()
373 					" oldpfn = 0x%p)", (void *)vaddr,  in sfmmu_map_prom_mappings()
387 				    (void *)vaddr, (void *)pfn);  in sfmmu_map_prom_mappings()
392 			sfmmu_tteload(kas.a_hat, ttep, vaddr, pp,  in sfmmu_map_prom_mappings()
416 		vaddr = kmem64_base;  in sfmmu_map_prom_mappings()
417 		while (vaddr < kmem64_end) {  in sfmmu_map_prom_mappings()
420 			sfmmu_tteload(kas.a_hat, ttep, vaddr, NULL,  in sfmmu_map_prom_mappings()
422 			vaddr += psize;  in sfmmu_map_prom_mappings()
981 	caddr_t vaddr;  in sfmmu_ktsb_alloc()  local
985 		vaddr = prom_alloc(ktsb_base, ktsb_sz, ktsb_sz);  in sfmmu_ktsb_alloc()
986 		if (vaddr != ktsb_base)  in sfmmu_ktsb_alloc()
989 		ktsb_base = vaddr;  in sfmmu_ktsb_alloc()
998 		vaddr = (caddr_t)BOP_ALLOC(bootops, ktsb4m_base, ktsb4m_sz,  in sfmmu_ktsb_alloc()
1000 		if (vaddr != ktsb4m_base)  in sfmmu_ktsb_alloc()
1003 		ktsb4m_base = vaddr;  in sfmmu_ktsb_alloc()