from i386. Requires that the driver writer used memory barriers
properly.
-+if !X86_64_XEN
++
source "drivers/pci/pcie/Kconfig"
source "drivers/pci/Kconfig"
source "drivers/pcmcia/Kconfig"
source "drivers/pci/hotplug/Kconfig"
-+endif
++
endmenu
+ = container_of(watch, struct backend_info, watch);
+
+ /* If other end is gone, delete ourself. */
-+ if (vec && !xenbus_exists(be->frontpath, "")) {
++ if (vec && !xenbus_exists(XBT_NULL, be->frontpath, "")) {
+ xenbus_rm(be->dev->nodename, "");
+ device_unregister(&be->dev->dev);
+ return;
+ dev->nodename);
+ goto free_be;
+ }
-+ if (strlen(frontend) == 0 || !xenbus_exists(frontend, "")) {
++ if (strlen(frontend) == 0 || !xenbus_exists(XBT_NULL, frontend, "")) {
+ /* If we can't get a frontend path and a frontend-id,
+ * then our bus-id is no longer valid and we need to
+ * destroy the backend device.