msi_devid 1384 virt/kvm/arm/vgic/vgic-its.c u64 msi_devid = its_cmd_get_deviceid(its_cmd); msi_devid 1386 virt/kvm/arm/vgic/vgic-its.c return vgic_its_trigger_msi(kvm, its, msi_devid, msi_data);