pub(super) fn sys_getdents64( task: &Sel4Task, fd: usize, buf_ptr: *const u8, len: usize, ) -> SysResult