+\r
+ if (HavePci) {\r
+ //\r
+ // Set the /chosen/linux,pci-probe-only property to 1, so that the PCI\r
+ // setup we will perform in the firmware is honored by the Linux OS,\r
+ // rather than torn down and done from scratch. This is generally a more\r
+ // sensible approach, and aligns with what ACPI based OSes do in general.\r
+ //\r
+ // In case we are exposing an emulated VGA PCI device to the guest, which\r
+ // may subsequently get exposed via the Graphics Output protocol and\r
+ // driven as an efifb by Linux, we need this setting to prevent the\r
+ // framebuffer from becoming unresponsive.\r
+ //\r
+ Node = fdt_path_offset (DeviceTreeBase, "/chosen");\r
+ if (Node < 0) {\r
+ Node = fdt_add_subnode (DeviceTreeBase, 0, "/chosen");\r
+ }\r
+ if (Node < 0 ||\r
+ fdt_setprop_u32 (DeviceTreeBase, Node, "linux,pci-probe-only", 1) < 0) {\r
+ DEBUG ((EFI_D_WARN, "Failed to set /chosen/linux,pci-probe-only property\n"));\r
+ }\r
+ }\r
+\r