tests/benchmarks/sched_userspace/src/user.h

/*
 * Copyright (c) 2022 Huawei Technologies SASU
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#define NB_YIELDS UINT32_C(1000000)

void context_switch_yield(void *p1, void *p2, void *p3);