Symbol: cothread_sleep
sys/platform/vkernel64/include/cothread.h
65
void cothread_sleep(cothread_t cotd, struct timespec *ts);
sys/platform/vkernel64/platform/systimer.c
244
cothread_sleep(cotd, &vktimer_ts);