VM_DEBUG_CPUS
return (vm_get_cpus(ctx, VM_DEBUG_CPUS, cpus));
else if (vm_cpuset->which == VM_DEBUG_CPUS)