pub(super) async fn sys_clone( task: &Sel4Task, flags: u32, stack: usize, ptid: *const u32, tls: usize, ctid: *const u32, ) -> SysResult