SMM: Disable use of SMM when running under Xen

Xen does not support SMM mode.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/src/smm.c b/src/smm.c
index 72e5e88c554b1603d67d1a8c332a5269f13aeaf4..d0d147656cf6b6cb9424cd6d90c3a264a35e351d 100644 (file)
--- a/src/smm.c
+++ b/src/smm.c
@@ -10,6 +10,7 @@
 #include "config.h" // CONFIG_*
 #include "ioport.h" // outb
 #include "pci_ids.h" // PCI_VENDOR_ID_INTEL
+#include "xen.h" // usingXen
 
 ASM32FLAT(
     ".global smm_relocation_start\n"
@@ -151,6 +152,8 @@ smm_init(void)
         return;
     if (!CONFIG_USE_SMM)
         return;
+    if (usingXen())
+       return;
 
     dprintf(3, "init smm\n");
     pci_find_init_device(smm_init_tbl, NULL);