Searched refs:gicv_base_address (Results 1 – 3 of 3) sorted by relevance
2322 acpi_data.vcpu_base = gicc->gicv_base_address; in gic_acpi_parse_virt_madt_gicc()2332 (acpi_data.vcpu_base != gicc->gicv_base_address)) in gic_acpi_parse_virt_madt_gicc()
1617 acpi_data.vcpu_base = processor->gicv_base_address; in gic_acpi_parse_madt_cpu()
1002 u64 gicv_base_address; member
