its_pmsi_acpi_init  133 drivers/irqchip/irq-gic-v3-its-platform-msi.c static void __init its_pmsi_acpi_init(void)
its_pmsi_acpi_init  139 drivers/irqchip/irq-gic-v3-its-platform-msi.c static inline void its_pmsi_acpi_init(void) { }