220 	uint16_t	maxcpus;		/* (o) max pluggable cpus */  member
386 	KASSERT(vcpu_id >= 0 && vcpu_id < vm->maxcpus,  in vcpu_init()
448 	if (cpuid < 0 || cpuid >= vm->maxcpus)  in vm_exitinfo()
459 	if (cpuid < 0 || cpuid >= vm->maxcpus)  in vm_vie_ctx()
555 	for (i = 0; i < vm->maxcpus; i++)  in vm_init()
627 	vm->maxcpus = VM_MAXCPU;	/* XXX temp to keep code working */  in vm_create()
637     uint16_t *threads, uint16_t *maxcpus)  in vm_get_topology()  argument
642 	*maxcpus = vm->maxcpus;  in vm_get_topology()
648 	return (vm->maxcpus);  in vm_get_maxcpus()
653     uint16_t threads, uint16_t maxcpus)  in vm_set_topology()  argument
655 	if (maxcpus != 0)  in vm_set_topology()
657 	if ((sockets * cores * threads) > vm->maxcpus)  in vm_set_topology()
663 	vm->maxcpus = VM_MAXCPU;	/* XXX temp to keep code working */  in vm_set_topology()
696 	for (i = 0; i < vm->maxcpus; i++)  in vm_cleanup()
762 	for (uint_t i = 0; i < vm->maxcpus; i++) {  in vm_pause_instance()
795 	for (uint_t i = 0; i < vm->maxcpus; i++) {  in vm_resume_instance()
1179 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_get_register()
1198 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_set_register()
1258 	if (vcpu < 0 || vcpu >= vm->maxcpus)  in vm_get_seg_desc()
1270 	if (vcpu < 0 || vcpu >= vm->maxcpus)  in vm_set_seg_desc()
1300 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_get_fpu()
1313 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_set_fpu()
1328 	if (vcpuid < 0 || vcpuid >= vm->maxcpus) {  in vm_get_run_state()
1347 	if (vcpuid < 0 || vcpuid >= vm->maxcpus) {  in vm_set_run_state()
2205 	for (uint_t i = 0; i < vm->maxcpus; i++) {  in vm_suspend()
2469 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_run()
2616 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_restart_instruction()
2650 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_exit_intinfo()
2784 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_get_intinfo()
2801 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_inject_exception()
2902 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_inject_nmi()
2938 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_inject_extint()
2972 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_inject_init()
2996 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_inject_sipi()
3016 	ASSERT(vcpuid >= 0 && vcpuid < vm->maxcpus);  in vcpu_run_state_pending()
3061 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vcpu_arch_reset()
3150 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vcpu_vector_sipi()
3169 	if (vcpu < 0 || vcpu >= vm->maxcpus)  in vm_get_capability()
3181 	if (vcpu < 0 || vcpu >= vm->maxcpus)  in vm_set_capability()
3236 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vcpu_set_state()
3254 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vcpu_get_state()
3275 	ASSERT(vcpuid >= 0 && vcpuid < vm->maxcpus);  in vcpu_tsc_offset()
3313 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_activate_cpu()
3341 	if (vcpuid < -1 || vcpuid >= vm->maxcpus)  in vm_suspend_cpu()
3346 		for (i = 0; i < vm->maxcpus; i++) {  in vm_suspend_cpu()
3364 	if (vcpuid < -1 || vcpuid >= vm->maxcpus)  in vm_resume_cpu()
3384 	ASSERT(vcpuid >= 0 && vcpuid < vm->maxcpus);  in vcpu_bailout_checks()
3483 	if (vcpuid >= 0 && vcpuid < vm->maxcpus) {  in vm_vcpu_barrier()
3497 		for (int i = 0; i < vm->maxcpus; i++) {  in vm_vcpu_barrier()
3537 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_get_x2apic_state()
3548 	if (vcpuid < 0 || vcpuid >= vm->maxcpus)  in vm_set_x2apic_state()