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