pub(super) async fn sys_write( task: &Sel4Task, fd: usize, buf: *const u8, len: usize, ) -> SysResult