acpi_its_srat_maps_free 3920 drivers/irqchip/irq-gic-v3-its.c static void __init acpi_its_srat_maps_free(void)
acpi_its_srat_maps_free 3927 drivers/irqchip/irq-gic-v3-its.c static void __init acpi_its_srat_maps_free(void) { }