trap.o: trap.c types.h defs.h param.h mmu.h proc.h x86.h traps.h \
  spinlock.h