Home
last modified time | relevance | path

Searched refs:uservtophys (Results 1 – 4 of 4) sorted by relevance

/dragonfly/sys/kern/
H A Dkern_umtx.c147 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()
/dragonfly/sys/vm/
H A Dpmap.h198 vm_paddr_t uservtophys(vm_offset_t va);
/dragonfly/sys/platform/vkernel64/platform/
H A Dpmap.c347 uservtophys(vm_offset_t va) in uservtophys() function
/dragonfly/sys/platform/pc64/x86_64/
H A Dpmap.c824 uservtophys(vm_offset_t va) in uservtophys() function