vmm_ncpu
if (cpu >= vmm_ncpu(bd->bd_vmm)) {
} else if (vcpu >= vmm_ncpu(bd->bd_vmm)) {
if (addr < vmm_ncpu(bd->bd_vmm)) {
mdb_printf("vCPUs: %d\n", vmm_ncpu(bd->bd_vmm));
if (cpu >= vmm_ncpu(bd->bd_vmm)) {
if (cpu >= vmm_ncpu(bd->bd_vmm)) {
if (cpu >= vmm_ncpu(bd->bd_vmm)) {
if (vmm->vmm_ncpu == 0) {
} while (vmm->vmm_ncpu == 0);
vmm->vmm_vcpu = calloc(vmm->vmm_ncpu, sizeof (struct vcpu *));
for (i = 0; i < vmm->vmm_ncpu; i++) {
for (i = 0; i < vmm->vmm_ncpu; i++)
return (vmm->vmm_ncpu);
if (vcpuid >= vmm->vmm_ncpu) {
size_t vmm_ncpu;
for (vmm->vmm_ncpu = 0;
CPU_ISSET(vmm->vmm_ncpu, &cpuset) == 1;
vmm->vmm_ncpu++)
size_t vmm_ncpu(vmm_t *);