modified:   pintos/src/devices/timer.c
	modified:   pintos/src/threads/thread.c

	modified:   pintos/src/threads/thread.h