pub(super) fn sys_pwrite64( task: &Sel4Task, fd: usize, buf_ptr: *const u8, count: usize, offset: usize, ) -> SysResult