- Update Xen patches to 3.3-rc5 and c/s 1157.

[linux-flexiantxendom0-3.2.10.git] / drivers / sfi / sfi_core.c

diff --git a/drivers/sfi/sfi_core.c b/drivers/sfi/sfi_core.c
index 1e824fb..5d34c8b 100644 (file)
--- a/drivers/sfi/sfi_core.c
+++ b/drivers/sfi/sfi_core.c
@@ -486,6 +486,11 @@ void __init sfi_init(void)
        if (!acpi_disabled)
                disable_sfi();
 
+#ifdef CONFIG_XEN
+       if (!is_initial_xendomain())
+               disable_sfi();
+#endif
+
        if (sfi_disabled)
                return;