__inject_vm
rc = __inject_vm(kvm, inti);
return __inject_vm(kvm, inti);
r = __inject_vm(dev->kvm, inti);
rc = __inject_vm(vcpu->kvm, &inti);