pub(super) fn sys_fstatat( task: &Sel4Task, dirfd: isize, path_ptr: *const u8, stat_ptr: *mut Stat, flags: u32, ) -> SysResult