Symbol: cothread_wakeup
sys/platform/vkernel64/include/cothread.h
66
void cothread_wakeup(cothread_t cotd, struct timespec *ts);
sys/platform/vkernel64/platform/systimer.c
304
cothread_wakeup(vktimer_cotd, &vktimer_ts);