Function nros_platform_task_free 

pub unsafe extern "C" fn nros_platform_task_free(
    task: *mut *mut c_void,
)

Free task storage allocated by task_init. Called after task_join or task_detach + exit.