Neel Natu f76fc5d414 If the guest vcpu wants to idle then use that opportunity to relinquish the ... host cpu to the scheduler until the guest is ready to run again. This implies that the host cpu utilization will now closely mirror the actual load imposed by the guest vcpu. Also, the vcpu mutex now needs to be of type MTX_SPIN since we need to acquire it inside a critical section. Obtained from: NetApp		2012-10-25 04:29:21 +00:00
..
acpica	- Remove unused code for CR3 and CR4.	2012-06-13 22:53:56 +00:00
amd64	IFC @ r238370	2012-07-11 19:54:21 +00:00
compile
conf	Include 'device uart' in the guest kernel.	2012-08-04 04:30:26 +00:00
ia32	Eliminate ia32_reg.h by moving its contents to x86 and ia64 reg.h.	2012-03-18 19:12:11 +00:00
include	Maintain state regarding NMI delivery to guest vcpu in VT-x independent manner.	2012-10-24 02:54:21 +00:00
linux32	Regenerate system call tables.	2012-05-25 21:52:57 +00:00
pci	Move {amd64,i386}/pci/pci_bus.c and {amd64,i386}/include/pci_cfgreg.h to	2011-06-22 21:04:13 +00:00
vmm	If the guest vcpu wants to idle then use that opportunity to relinquish the	2012-10-25 04:29:21 +00:00
Makefile	Adjustments to make a tags file a bit more suitable to amd64.	2008-12-01 14:15:10 +00:00