# CONFIG_IDEPCI_SHARE_IRQ is not set
