Searched refs:gich_base_address (Results 1 – 2 of 2) sorted by relevance
| /linux/drivers/irqchip/ | ||
| H A D | irq-gic.c | 1558 acpi_data.vctrl_base = processor->gich_base_address; in gic_acpi_parse_madt_cpu() |
| /linux/include/acpi/ | ||
| H A D | actbl2.h | 1111 u64 gich_base_address; member |