vgic_its_trigger_msi
return vgic_its_trigger_msi(kvm, its, msi_devid, msi_data);
ret = vgic_its_trigger_msi(kvm, its, msi->devid, msi->data);