gic_reset_prop_table 1645 drivers/irqchip/irq-gic-v3-its.c 	gic_reset_prop_table(page_address(prop_page));
gic_reset_prop_table 1703 drivers/irqchip/irq-gic-v3-its.c 		gic_reset_prop_table(gic_rdists->prop_table_va);