gic_redist_wait_for_rwp  319 drivers/irqchip/irq-gic-v3.c 		rwp_wait = gic_redist_wait_for_rwp;
gic_redist_wait_for_rwp  545 drivers/irqchip/irq-gic-v3.c 		rwp_wait = gic_redist_wait_for_rwp;
gic_redist_wait_for_rwp 1028 drivers/irqchip/irq-gic-v3.c 	gic_cpu_config(rbase, gic_data.ppi_nr + 16, gic_redist_wait_for_rwp);