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