Searched refs:max_gic_vcpus (Results 1 – 4 of 4) sorted by relevance
137 int max_gic_vcpus; member
259 vgic->max_gic_vcpus = VGIC_V2_MAX_CPUS; in vgic_v2_probe()
287 vgic->max_gic_vcpus = VGIC_V3_MAX_CPUS; in vgic_v3_probe()
1920 return vgic->max_gic_vcpus; in kvm_vgic_get_max_vcpus()