deleted:    pistachio/src/mutex.cc
	deleted:    pistachio/src/panic.cc
	deleted:    pistachio/src/syncpoint.cc