Symbol: itt_free_pool
drivers/irqchip/irq-gic-v3-its.c
3514
itt_free_pool(itt, sz);
drivers/irqchip/irq-gic-v3-its.c
3552
itt_free_pool(its_dev->itt, its_dev->itt_sz);