gicr_read_pendbaser 2134 drivers/irqchip/irq-gic-v3-its.c 		paddr = gicr_read_pendbaser(rbase + GICR_PENDBASER);
gicr_read_pendbaser 2179 drivers/irqchip/irq-gic-v3-its.c 	tmp = gicr_read_pendbaser(rbase + GICR_PENDBASER);