thread_migration_disable 289 kernel/generic/include/proc/thread.h extern void thread_migration_disable(void); thread_migration_disable 59 kernel/generic/src/time/delay.c thread_migration_disable();