nvmm_vcpu_run
int nvmm_vcpu_run(struct nvmm_machine *, struct nvmm_vcpu *);
return nvmm_vcpu_run(owner, data);
if (nvmm_vcpu_run(mach, vcpu) == -1)