Symbol: gicr_read_pendbaser
drivers/irqchip/irq-gic-v3-its.c
3175
paddr = gicr_read_pendbaser(rbase + GICR_PENDBASER);
drivers/irqchip/irq-gic-v3-its.c
3221
tmp = gicr_read_pendbaser(rbase + GICR_PENDBASER);