# CONFIG_TI_SCI_INTA_IRQCHIP is not set
