void hoardYield(void) { _kern_thread_yield(); }
int sched_yield(void) { _kern_thread_yield(); return 0; }