gich_base_address 1527 drivers/irqchip/irq-gic.c 	acpi_data.vctrl_base = processor->gich_base_address;
gich_base_address  639 include/acpi/actbl2.h 	u64 gich_base_address;