Searched refs:uservtophys (Results 1 – 4 of 4) sorted by relevance
147 waddr = (void *)(intptr_t)uservtophys((intptr_t)uptr); in sys_umtx_sleep()216 if ((void *)(intptr_t)uservtophys((intptr_t)uptr) != waddr) { in sys_umtx_sleep()286 waddr = (void *)(intptr_t)uservtophys((intptr_t)uptr); in sys_umtx_wakeup()
198 vm_paddr_t uservtophys(vm_offset_t va);
347 uservtophys(vm_offset_t va) in uservtophys() function
824 uservtophys(vm_offset_t va) in uservtophys() function