VGIC_V5_MAX_CPUS
kvm->max_vcpus = min(VGIC_V5_MAX_CPUS,
VGIC_V5_MAX_CPUS);
kvm_vgic_global_state.max_gic_vcpus = VGIC_V5_MAX_CPUS;