Symbol: its_free_pending_table
drivers/irqchip/irq-gic-v3-its.c
4581
its_free_pending_table(vpt_page);
drivers/irqchip/irq-gic-v3-its.c
4599
its_free_pending_table(vpe->vpt_page);
drivers/irqchip/irq-gic-v3-its.c
5467
its_free_pending_table(pend_page);