xen/arch/x86/intel_txt.c: Restore IA32_MISC_ENABLES

Signed-off-by: Michał Żygowski <michal.zygowski@3mdeb.com>

diff --git a/xen/arch/x86/intel_txt.c b/xen/arch/x86/intel_txt.c
index a06344ed1af16da893fb23c49dc4bac900541fd2..ba3c38951917044e29552779968fb05bef2337a9 100644 (file)
--- a/xen/arch/x86/intel_txt.c
+++ b/xen/arch/x86/intel_txt.c
@@ -192,4 +192,7 @@ void __init txt_restore_mtrrs(bool e820_verbose)
             }
         }
     }
+
+    /* Restore IA32_MISC_ENABLES */
+    wrmsrl(MSR_IA32_MISC_ENABLE, intel_info->saved_misc_enable_msr);
 }