Neel Natu 90d4b48f60 API to map an apic id to the vcpu. ... At the moment this is a simple mapping because the numerical values are identical.		2012-08-04 02:38:05 +00:00
..
Makefile
mptable.c
mptable.h
vmmapi.c	API to map an apic id to the vcpu.	2012-08-04 02:38:05 +00:00
vmmapi.h	API to map an apic id to the vcpu.	2012-08-04 02:38:05 +00:00
vmmapi_freebsd.c	There is no need to explicitly specify the CR4_VMXE bit when writing to guest	2012-08-04 02:14:27 +00:00