Searched refs:pvphysaddr (Results 1 – 2 of 2) sorted by relevance
374 kernel_pmap_present_mapping(uint64_t vaddr, uint64_t * pvincr, uintptr_t * pvphysaddr) in kernel_pmap_present_mapping() argument401 ppn = (pvphysaddr != NULL ? in kernel_pmap_present_mapping()408 if (ppn && pvphysaddr) { in kernel_pmap_present_mapping()411 *pvphysaddr = phystokv(phys); in kernel_pmap_present_mapping()
1237 …_t kernel_pmap_present_mapping(uint64_t vaddr, uint64_t * pvincr, uintptr_t * pvphysaddr);