Symbol: gicr_write_pendbaser
drivers/irqchip/irq-gic-v3-its.c
3220
gicr_write_pendbaser(val, rbase + GICR_PENDBASER);
drivers/irqchip/irq-gic-v3-its.c
3234
gicr_write_pendbaser(val, rbase + GICR_PENDBASER);