Symbol: gic_reset_prop_table
drivers/irqchip/irq-gic-v3-its.c
2273
gic_reset_prop_table(page_address(prop_page));
drivers/irqchip/irq-gic-v3-its.c
2330
gic_reset_prop_table(gic_rdists->prop_table_va);