kmp 45 kernel/generic/include/smp/smp.h extern void kmp(void *arg); kmp 118 kernel/generic/src/main/kinit.c thread = thread_create(kmp, NULL, TASK,