its_free_pending_table 2138 drivers/irqchip/irq-gic-v3-its.c 		its_free_pending_table(gic_data_rdist()->pend_page);
its_free_pending_table 3033 drivers/irqchip/irq-gic-v3-its.c 		its_free_pending_table(vpt_page);
its_free_pending_table 3048 drivers/irqchip/irq-gic-v3-its.c 	its_free_pending_table(vpe->vpt_page);