Symbol: umtx_time32
sys/kern/kern_umtx.c
4734
#define umtx_timei386 umtx_time32
sys/kern/kern_umtx.c
4751
#define umtx_timex32 umtx_time32