ad 80f35bef49 #include <sys/mutex.h>		2008-01-06 20:53:06 +00:00
..
acpi	Add new IPI for saving CPU state explicitly, share high-level part of	2007-12-18 07:17:08 +00:00
amd64	Only do the xcall if !cold.	2008-01-06 14:33:27 +00:00
compile
conf	Add MODULAR option. Include kernel linker stuff if MODULAR.	2008-01-06 18:03:58 +00:00
include	#include <sys/mutex.h>	2008-01-06 20:53:06 +00:00
Makefile