Symbol: gicv5_its_free_itt
drivers/irqchip/irq-gic-v5-its.c
536
gicv5_its_free_itt(its_dev);
drivers/irqchip/irq-gic-v5-its.c
563
gicv5_its_free_itt(its_dev);