VGIC_V2_MAX_CPUS
kvm->max_vcpus = VGIC_V2_MAX_CPUS;
kvm_vgic_global_state.max_gic_vcpus = VGIC_V2_MAX_CPUS;