From 3259f3f35f305b53c284808724fe23d22697f8cb Mon Sep 17 00:00:00 2001 From: tychon Date: Tue, 9 Jun 2015 00:14:47 +0000 Subject: 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 --- sys/amd64/vmm/intel/vmx.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'sys/amd64/vmm/intel/vmx.h') diff --git a/sys/amd64/vmm/intel/vmx.h b/sys/amd64/vmm/intel/vmx.h index bc48861..57f5b28 100644 --- a/sys/amd64/vmm/intel/vmx.h +++ b/sys/amd64/vmm/intel/vmx.h @@ -135,6 +135,8 @@ void vmx_call_isr(uintptr_t entry); u_long vmx_fix_cr0(u_long cr0); u_long vmx_fix_cr4(u_long cr4); +int vmx_set_tsc_offset(struct vmx *vmx, int vcpu, uint64_t offset); + extern char vmx_exit_guest[]; #endif -- cgit v1.1