Searched refs:max_gic_vcpus (Results 1 – 3 of 3) sorted by relevance
66 int max_gic_vcpus; member385 return kvm_vgic_global_state.max_gic_vcpus; in kvm_vgic_get_max_vcpus()
413 kvm_vgic_global_state.max_gic_vcpus = VGIC_V2_MAX_CPUS; in vgic_v2_probe()
648 kvm_vgic_global_state.max_gic_vcpus = VGIC_V3_MAX_CPUS; in vgic_v3_probe()