gic_dist_wait_for_rwp  322 drivers/irqchip/irq-gic-v3.c 		rwp_wait = gic_dist_wait_for_rwp;
gic_dist_wait_for_rwp  548 drivers/irqchip/irq-gic-v3.c 		rwp_wait = gic_dist_wait_for_rwp;
gic_dist_wait_for_rwp  720 drivers/irqchip/irq-gic-v3.c 	gic_dist_wait_for_rwp();
gic_dist_wait_for_rwp  747 drivers/irqchip/irq-gic-v3.c 	gic_dist_config(base, GIC_LINE_NR, gic_dist_wait_for_rwp);
gic_dist_wait_for_rwp 1166 drivers/irqchip/irq-gic-v3.c 		gic_dist_wait_for_rwp();