Searched refs:pvphysaddr (Results 1 – 2 of 2) sorted by relevance
437 kernel_pmap_present_mapping(uint64_t vaddr, uint64_t * pvincr, uintptr_t * pvphysaddr) in kernel_pmap_present_mapping() argument464 ppn = (pvphysaddr != NULL ? in kernel_pmap_present_mapping()471 if (ppn && pvphysaddr) { in kernel_pmap_present_mapping()474 *pvphysaddr = phystokv(phys); in kernel_pmap_present_mapping()
1032 …_t kernel_pmap_present_mapping(uint64_t vaddr, uint64_t * pvincr, uintptr_t * pvphysaddr);