timer.o: timer.c types.h defs.h traps.h x86.h