Symbol: gicr_read_vpendbaser
drivers/irqchip/irq-gic-v3-its.c
2916
if (gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER) & GICR_VPENDBASER_Valid)
drivers/irqchip/irq-gic-v3-its.c
3120
val = gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER);
drivers/irqchip/irq-gic-v3.c
1081
val = gicr_read_vpendbaser(ptr + SZ_128K + GICR_VPENDBASER);