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);