gits_write_vpropbaser 2210 drivers/irqchip/irq-gic-v3-its.c 		gits_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);
gits_write_vpropbaser 2829 drivers/irqchip/irq-gic-v3-its.c 	gits_write_vpropbaser(val, vlpi_base + GICR_VPROPBASER);