Searched refs:pvphysaddr (Results 1 – 2 of 2) sorted by relevance
378 kernel_pmap_present_mapping(uint64_t vaddr, uint64_t * pvincr, uintptr_t * pvphysaddr) in kernel_pmap_present_mapping() argument405 ppn = (pvphysaddr != NULL ? in kernel_pmap_present_mapping()412 if (ppn && pvphysaddr) { in kernel_pmap_present_mapping()415 *pvphysaddr = phystokv(phys); in kernel_pmap_present_mapping()
1247 …_t kernel_pmap_present_mapping(uint64_t vaddr, uint64_t * pvincr, uintptr_t * pvphysaddr);