gicr_read_propbaser 1696 drivers/irqchip/irq-gic-v3-its.c 		val = gicr_read_propbaser(gic_data_rdist_rd_base() + GICR_PROPBASER);
gicr_read_propbaser 2043 drivers/irqchip/irq-gic-v3-its.c 	val = gicr_read_propbaser(gic_data_rdist_rd_base() + GICR_PROPBASER);
gicr_read_propbaser 2129 drivers/irqchip/irq-gic-v3-its.c 		paddr = gicr_read_propbaser(rbase + GICR_PROPBASER);
gicr_read_propbaser 2155 drivers/irqchip/irq-gic-v3-its.c 	tmp = gicr_read_propbaser(rbase + GICR_PROPBASER);