Searched refs:msi_devid (Results 1 – 1 of 1) sorted by relevance
1445 u64 msi_devid = its_cmd_get_deviceid(its_cmd); in vgic_its_cmd_handle_int() local1447 return vgic_its_trigger_msi(kvm, its, msi_devid, msi_data); in vgic_its_cmd_handle_int()