# CONFIG_PCI_GODIRECT is not set