* Copyright (c) 2012-2014 Wind River Systems, Inc. * Copyright (c) 2017, 2023 Intel Corporation. * SPDX-License-Identifier ...
void tm_cooperative_thread_0_entry(void *p1, void *p2, void *p3); void tm_cooperative_thread_1_entry(void *p1, void *p2, void *p3 ...