|
@@ -178,6 +178,10 @@ void hyperv_cleanup(void)
|
|
|
/* Reset the hypercall page */
|
|
|
hypercall_msr.as_uint64 = 0;
|
|
|
wrmsrl(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
|
|
|
+
|
|
|
+ /* Reset the TSC page */
|
|
|
+ hypercall_msr.as_uint64 = 0;
|
|
|
+ wrmsrl(HV_X64_MSR_REFERENCE_TSC, hypercall_msr.as_uint64);
|
|
|
}
|
|
|
EXPORT_SYMBOL_GPL(hyperv_cleanup);
|
|
|
|