gicv_base_address 1979 drivers/irqchip/irq-gic-v3.c 		acpi_data.vcpu_base = gicc->gicv_base_address;
gicv_base_address 1989 drivers/irqchip/irq-gic-v3.c 	    (acpi_data.vcpu_base != gicc->gicv_base_address))
gicv_base_address 1528 drivers/irqchip/irq-gic.c 	acpi_data.vcpu_base = processor->gicv_base_address;
gicv_base_address  638 include/acpi/actbl2.h 	u64 gicv_base_address;