Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
bc943c9917ca02c21f162e76938b86a8325c64d9
/
.
/
libsel4muslcsys
/
src
/
sys_yield.c
blob: 9517e965d1f86ab306500a3a3efd97d87ed63e62 [
file
] [
log
] [
blame
]
/*
* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include
<stdio.h>
#include
<stdlib.h>
#include
<stdarg.h>
#include
<sel4/sel4.h>
long
sys_sched_yield
(
va_list ap
)
{
seL4_Yield
();
return
0
;
}