Searched refs:max_gic_vcpus (Results 1 – 3 of 3) sorted by relevance
72 int max_gic_vcpus; member440 return kvm_vgic_global_state.max_gic_vcpus; in kvm_vgic_get_max_vcpus()
532 kvm_vgic_global_state.max_gic_vcpus = VGIC_V2_MAX_CPUS; in vgic_v2_probe()
970 kvm_vgic_global_state.max_gic_vcpus = VGIC_V3_MAX_CPUS; in vgic_v3_probe()