Searched refs:pvphysaddr (Results 1 – 2 of 2) sorted by relevance
372 kernel_pmap_present_mapping(uint64_t vaddr, uint64_t * pvincr, uintptr_t * pvphysaddr) in kernel_pmap_present_mapping() argument399 ppn = (pvphysaddr != NULL ? in kernel_pmap_present_mapping()406 if (ppn && pvphysaddr) { in kernel_pmap_present_mapping()409 *pvphysaddr = phystokv(phys); in kernel_pmap_present_mapping()
1197 …_t kernel_pmap_present_mapping(uint64_t vaddr, uint64_t * pvincr, uintptr_t * pvphysaddr);