HelenOS sources

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();
HelenOS homepage, sources at GitHub