ad 5fbf4abeea mutex_spin_enter: xchg is usually cheaper than cmpxchg, so use it.		2008-06-27 18:16:02 +00:00
..
acpi	Random underdocumented CPU facts:	2008-05-25 17:20:29 +00:00
amd64	mutex_spin_enter: xchg is usually cheaper than cmpxchg, so use it.	2008-06-27 18:16:02 +00:00
compile
conf	add pckbc at acpi	2008-06-05 09:37:21 +00:00
include	pmap_remove_all() for x86. Also, always defer freeing ptps to pmap_update().	2008-06-05 21:09:12 +00:00
Makefile	Install xenio.h and xenio3.h in /usr/include/xen, for the benefit	2008-02-17 16:23:12 +00:00