|
@@ -63,6 +63,7 @@
|
|
|
#include <asm/stackprotector.h>
|
|
|
#include <asm/hypervisor.h>
|
|
|
#include <asm/mwait.h>
|
|
|
+#include <asm/pci_x86.h>
|
|
|
|
|
|
#ifdef CONFIG_ACPI
|
|
|
#include <linux/acpi.h>
|
|
@@ -1398,8 +1399,10 @@ asmlinkage void __init xen_start_kernel(void)
|
|
|
/* Make sure ACS will be enabled */
|
|
|
pci_request_acs();
|
|
|
}
|
|
|
-
|
|
|
-
|
|
|
+#ifdef CONFIG_PCI
|
|
|
+ /* PCI BIOS service won't work from a PV guest. */
|
|
|
+ pci_probe &= ~PCI_PROBE_BIOS;
|
|
|
+#endif
|
|
|
xen_raw_console_write("about to get started...\n");
|
|
|
|
|
|
xen_setup_runstate_info(0);
|