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