Tycho Nightingale 277bdd9950 Support guest writes to the TSC by enabling the "use TSC offsetting" ... execution control and writing the difference between the host TSC and the guest TSC into the TSC offset in the VMCS upon encountering a write. Reviewed by: neel		2015-06-09 00:14:47 +00:00
..
ept.c	Use lapic_ipi_alloc() to dynamically allocate IPI slots needed by bhyve when	2015-03-14 02:32:08 +00:00
ept.h	Don't expose 'vmm_ipinum' as a global.	2014-01-09 03:25:54 +00:00
vmcs.c	Always emulate MSR_PAT on Intel processors and don't rely on PAT save/restore	2015-02-24 05:35:15 +00:00
vmcs.h	Allow ktr(4) tracing of all guest exceptions via the tunable	2014-12-23 02:14:49 +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	Support guest writes to the TSC by enabling the "use TSC offsetting"	2015-06-09 00:14:47 +00:00
vmx_msr.h	Restructure the MSR handling so it is entirely handled by processor-specific	2014-09-20 02:35:21 +00:00
vmx_support.S	Fix build to not bogusly always rebuild vmm.ko.	2014-10-17 13:20:49 +00:00
vmx.c	Support guest writes to the TSC by enabling the "use TSC offsetting"	2015-06-09 00:14:47 +00:00
vmx.h	Support guest writes to the TSC by enabling the "use TSC offsetting"	2015-06-09 00:14:47 +00:00
vtd.c	Use the max guest memory address when creating its iommu domain.	2014-08-14 05:00:45 +00:00