VM_DEBUG_CPUS
return (vm_get_cpus(ctx, VM_DEBUG_CPUS, cpus));
} else if (vm_cpuset.which == VM_DEBUG_CPUS) {