Symbol: gicr_write_vpendbaser
drivers/irqchip/irq-gic-v3-its.c
2917
gicr_write_vpendbaser(GICR_VPENDBASER_PendingLast,
drivers/irqchip/irq-gic-v3-its.c
3144
gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);
drivers/irqchip/irq-gic-v3-its.c
4041
gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);
drivers/irqchip/irq-gic-v3-its.c
4247
gicr_write_vpendbaser(val, vlpi_base + GICR_VPENDBASER);
drivers/irqchip/irq-gic-v3.c
1083
gicr_write_vpendbaser(GICR_VPENDBASER_PendingLast,