acpi_num_msi      458 drivers/irqchip/irq-gic-v2m.c static int acpi_num_msi;
acpi_num_msi      464 drivers/irqchip/irq-gic-v2m.c 	if (WARN_ON(acpi_num_msi <= 0))
acpi_num_msi      545 drivers/irqchip/irq-gic-v2m.c 	if (acpi_num_msi > 0)
acpi_num_msi      548 drivers/irqchip/irq-gic-v2m.c 	acpi_num_msi = acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_MSI_FRAME,
acpi_num_msi      551 drivers/irqchip/irq-gic-v2m.c 	if (acpi_num_msi <= 0)