schedcpu
static struct timeout to = TIMEOUT_INITIALIZER(schedcpu, NULL);
void schedcpu(void *);
schedcpu(NULL);