Symbol: gicr_write_propbaser
drivers/irqchip/irq-gic-v3-its.c
3193
gicr_write_propbaser(val, rbase + GICR_PROPBASER);
drivers/irqchip/irq-gic-v3-its.c
3209
gicr_write_propbaser(val, rbase + GICR_PROPBASER);