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