#include <threads.h>

void thrd_yield(void)
{
	/* does nothing */
}