its_free_tables  1985 drivers/irqchip/irq-gic-v3-its.c 			its_free_tables(its);
its_free_tables  3701 drivers/irqchip/irq-gic-v3-its.c 	its_free_tables(its);