Symbol: uservtophys
sys/kern/kern_umtx.c
147
waddr = (void *)(intptr_t)uservtophys((intptr_t)uptr);
sys/kern/kern_umtx.c
216
if ((void *)(intptr_t)uservtophys((intptr_t)uptr) != waddr) {
sys/kern/kern_umtx.c
286
waddr = (void *)(intptr_t)uservtophys((intptr_t)uptr);
sys/vm/pmap.h
198
vm_paddr_t uservtophys(vm_offset_t va);