gicr_write_propbaser 2154 drivers/irqchip/irq-gic-v3-its.c 	gicr_write_propbaser(val, rbase + GICR_PROPBASER);
gicr_write_propbaser 2167 drivers/irqchip/irq-gic-v3-its.c 			gicr_write_propbaser(val, rbase + GICR_PROPBASER);