kcpulb 59 kernel/generic/include/proc/scheduler.h extern void kcpulb(void *arg); kcpulb 133 kernel/generic/src/main/kinit.c thread = thread_create(kcpulb, NULL, TASK,