pub(super) async fn sys_futex( task: Arc<Sel4Task>, uaddr_ptr: *mut i32, op: usize, value: usize, value2: usize, uaddr2: usize, _value3: usize, ) -> SysResult