gicr_write_vpropbaser - Linux

Symbol: gicr_write_vpropbaser

drivers/irqchip/irq-gic-v3-its.c

gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);

drivers/irqchip/irq-gic-v3-its.c

gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);

drivers/irqchip/irq-gic-v3-its.c

gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);

drivers/irqchip/irq-gic-v3-its.c

gicr_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);

drivers/irqchip/irq-gic-v3.c

gicr_write_vpropbaser(val, ptr + SZ_128K + GICR_VPROPBASER);