pub unsafe extern "C" fn task_terminate(target_task: u32) -> i32