Tycho Nightingale a026dc3fcb Bring an overly enthusiastic KASSERT inline with the Intel SDM. ... Reviewed by: neel		2014-06-16 22:59:18 +00:00
..
ept.c	Don't expose 'vmm_ipinum' as a global.	2014-01-09 03:25:54 +00:00
ept.h	Don't expose 'vmm_ipinum' as a global.	2014-01-09 03:25:54 +00:00
vmcs.c	Allow vmx_getdesc() and vmx_setdesc() to be called for a vcpu that is in the	2014-05-22 17:22:37 +00:00
vmcs.h	Allow vmx_getdesc() and vmx_setdesc() to be called for a vcpu that is in the	2014-05-22 17:22:37 +00:00
vmx_controls.h	Use the 'Virtual Interrupt Delivery' feature of Intel VT-x if supported by	2014-01-07 21:04:49 +00:00
vmx_cpufunc.h	Fix issue found with clang build. Avoid code insertion by the compiler	2012-11-06 02:43:41 +00:00
vmx_genassym.c	There is no need to save and restore the host's return address in the	2014-04-11 20:15:53 +00:00
vmx_msr.c	Get rid of redundant comparision which is guaranteed to be "true" for unsigned	2012-11-22 00:08:20 +00:00
vmx_msr.h
vmx_support.S	Make the vmx asm code dtrace-fbt-friendly by	2014-05-18 03:50:17 +00:00
vmx.c	Bring an overly enthusiastic KASSERT inline with the Intel SDM.	2014-06-16 22:59:18 +00:00
vmx.h	Make the vmx asm code dtrace-fbt-friendly by	2014-05-18 03:50:17 +00:00
vtd.c	Re-write bhyve's I/O MMU handling in terms of PCI RID.	2014-04-01 15:54:03 +00:00