1 /*
2  * Copyright (c) 2022 Huawei Technologies SASU
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #define NB_YIELDS UINT32_C(1000000)
8 
9 void context_switch_yield(void *p1, void *p2, void *p3);
10