/*
 * 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);