Searched refs:waddr (Results 1 – 3 of 3) sorted by relevance
112 void *waddr; in sys_umtx_sleep() local147 waddr = (void *)(intptr_t)uservtophys((intptr_t)uptr); in sys_umtx_sleep()148 } while (waddr == (void *)(intptr_t)-1 && value != -1); in sys_umtx_sleep()150 if (value == -1 && waddr == (void *)(intptr_t)-1) { in sys_umtx_sleep()210 tsleep_interlock(waddr, PCATCH | PDOMAIN_UMTX); in sys_umtx_sleep()216 if ((void *)(intptr_t)uservtophys((intptr_t)uptr) != waddr) { in sys_umtx_sleep()227 error = tsleep(waddr, PCATCH | PINTERLOCKED | PDOMAIN_UMTX, in sys_umtx_sleep()256 void *waddr; in sys_umtx_wakeup() local286 waddr = (void *)(intptr_t)uservtophys((intptr_t)uptr); in sys_umtx_wakeup()287 } while (waddr == (void *)(intptr_t)-1 && value != -1); in sys_umtx_wakeup()[all …]
670 lwp_exit(int masterexit, void *waddr) in lwp_exit() argument801 if (waddr) in lwp_exit()802 wakeup(waddr); in lwp_exit()
570 void lwp_exit (int masterexit, void *waddr) __dead2;