Symbol: vktimer_thread
sys/platform/vkernel64/platform/systimer.c
179
vktimer_cotd = cothread_create(vktimer_thread, NULL, NULL, "vktimer");
sys/platform/vkernel64/platform/systimer.c
88
static void vktimer_thread(cothread_t cotd);