Symbol: umtx_read_uptr
sys/kern/kern_umtx.c
5193
error = umtx_read_uptr(td, rb_list, &rbp, compat32);
sys/kern/kern_umtx.c
5254
(void)umtx_read_uptr(td, rb_inact, &rb_inact, compat32);