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);