Searched refs:vcpu_base (Results 1 – 2 of 2) sorted by relevance
1536 phys_addr_t vcpu_base; member1565 acpi_data.vcpu_base = processor->gicv_base_address; in gic_acpi_parse_madt_cpu()1615 if (!acpi_data.vcpu_base) in gic_acpi_setup_kvm_info()1619 vcpu_res->start = acpi_data.vcpu_base; in gic_acpi_setup_kvm_info()
2348 phys_addr_t vcpu_base; member2522 acpi_data.vcpu_base = gicc->gicv_base_address; in gic_acpi_parse_virt_madt_gicc()2532 (acpi_data.vcpu_base != gicc->gicv_base_address)) in gic_acpi_parse_virt_madt_gicc()2571 if (acpi_data.vcpu_base) { in gic_acpi_setup_kvm_info()2575 vcpu->start = acpi_data.vcpu_base; in gic_acpi_setup_kvm_info()