vm_resume_all_cpus
vm_resume_all_cpus(ctx);
return (vm_resume_all_cpus(vmm->vmm_ctx));
int vm_resume_all_cpus(struct vmctx *ctx);