Neel Natu 45e51299b3 Allocate VPIDs by using the unit number allocator to keep do the bookkeeping. ... Also deal with VPID exhaustion by allocating out of a reserved range as the last resort.		2013-09-07 05:30:34 +00:00
..
amd
intel	Allocate VPIDs by using the unit number allocator to keep do the bookkeeping.	2013-09-07 05:30:34 +00:00
io	Mask off the vector from the MSI-x data word.	2013-09-07 03:33:36 +00:00
vmm_dev.c
vmm_host.c
vmm_host.h
vmm_instruction_emul.c	Add support for emulating the byte move instruction "mov r/m8, r8".	2013-08-27 16:49:20 +00:00
vmm_ipi.c
vmm_ipi.h
vmm_ktr.h
vmm_lapic.c
vmm_lapic.h
vmm_mem.c
vmm_mem.h
vmm_msr.c	Emulate reading of the IA32_MISC_ENABLE MSR, by returning	2013-09-06 05:20:11 +00:00
vmm_msr.h
vmm_stat.c
vmm_stat.h
vmm_support.S
vmm_util.c
vmm_util.h
vmm.c
x86.c	Allow CPUID leaf 0xD to be read as zeroes.	2013-09-06 05:16:10 +00:00
x86.h	Allow CPUID leaf 0xD to be read as zeroes.	2013-09-06 05:16:10 +00:00