attilio 1f1e13ca03 There is no need to use VM_OBJECT_LOCKED() as the assertion won't ... make the check available in any case if INVARIANTS is switched off. Remove VM_OBJECT_LOCKED().		2013-02-20 10:51:34 +00:00
..
acpica	Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is	2013-02-15 22:43:08 +00:00
amd64	There is no need to use VM_OBJECT_LOCKED() as the assertion won't	2013-02-20 10:51:34 +00:00
compile
conf	Remove support for plip from the GENERIC kernel as no systems in the	2013-02-01 20:17:11 +00:00
ia32	Real hardware, as opposed to QEMU, does not allow to have a call gate	2012-08-14 12:13:27 +00:00
include	Implement guest vcpu pinning using 'pthread_setaffinity_np(3)'.	2013-02-11 20:36:07 +00:00
linux32	Reduce duplication between i386/linux/linux.h and amd64/linux32/linux.h	2013-01-29 18:41:30 +00:00
pci	Remove duplicate code. Reduce diff between amd64 and i386.	2012-12-01 00:56:19 +00:00
vmm	Requests for invalid CPUID leaves should map to the highest known leaf instead.	2013-02-13 23:22:17 +00:00
Makefile