vm_debug_cpus
error = vm_debug_cpus(ctx, &cpus);
(void) vm_debug_cpus(vmm->vmm_ctx, &cpuset);
int vm_debug_cpus(struct vmctx *ctx, cpuset_t *cpus);
cpuset_t vm_debug_cpus(struct vm *vm);
tempset = vm_debug_cpus(sc->vmm_vm);