thread_consider_migration  169 kern/include/thread.h void thread_consider_migration(void);
thread_consider_migration  100 kern/thread/clock.c 		thread_consider_migration();