- Update Xen patches to 3.3-rc5 and c/s 1157.
[linux-flexiantxendom0-3.2.10.git] / drivers / firmware / dmi_scan.c
index 153980b..ad46ec8 100644 (file)
@@ -482,6 +482,11 @@ static bool dmi_matches(const struct dmi_system_id *dmi)
 {
        int i;
 
+#ifdef CONFIG_XEN
+       if (!is_initial_xendomain())
+               return false;
+#endif
+
        WARN(!dmi_initialized, KERN_ERR "dmi check: not initialized yet.\n");
 
        for (i = 0; i < ARRAY_SIZE(dmi->matches); i++) {