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