140 	uint16_t	maxcpus;		/* (o) max pluggable cpus */  member
285 	KASSERT(vcpu_id >= 0 && vcpu_id < vm->maxcpus,  in vcpu_alloc()
423 		for (i = 0; i < vm->maxcpus; i++) {  in vm_init()
513 	vm->maxcpus = vm_maxcpu;  in vm_create()
515 	vm->vcpu = malloc(sizeof(*vm->vcpu) * vm->maxcpus, M_VMM,  in vm_create()
526     uint16_t *threads, uint16_t *maxcpus)  in vm_get_topology()  argument
531 	*maxcpus = vm->maxcpus;  in vm_get_topology()
537 	return (vm->maxcpus);  in vm_get_maxcpus()
542     uint16_t threads, uint16_t maxcpus)  in vm_set_topology()  argument
545 	if ((sockets * cores * threads) > vm->maxcpus)  in vm_set_topology()
574 	for (i = 0; i < vm->maxcpus; i++) {  in vm_cleanup()
588 		for (i = 0; i < vm->maxcpus; i++)  in vm_cleanup()
900 	for (i = 0; i < vm->maxcpus; i++) {  in vm_suspend()
953 		for (int i = 0; i < vm->maxcpus; i++) {  in vm_suspend_cpu()
1442 	for (i = 0; i < vm->maxcpus; i++) {  in vm_handle_suspend()