thread_migration_enable 291 kernel/generic/include/proc/thread.h extern void thread_migration_enable(void); thread_migration_enable 62 kernel/generic/src/time/delay.c thread_migration_enable();