Searched refs:AVI (Results 1 – 7 of 7) sorted by relevance
49 auto AVI = AffectedValues.find_as(V); in getOrInsertAffectedValues() local50 if (AVI != AffectedValues.end()) in getOrInsertAffectedValues()51 return AVI->second; in getOrInsertAffectedValues()147 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption() local148 if (AVI == AffectedValues.end()) in unregisterAssumption()152 for (ResultElem &Elem : AVI->second) { in unregisterAssumption()163 AffectedValues.erase(AVI); in unregisterAssumption()176 auto AVI = AffectedValues.find(OV); in transferAffectedValuesInCache() local177 if (AVI == AffectedValues.end()) in transferAffectedValuesInCache()180 for (auto &A : AVI->second) in transferAffectedValuesInCache()
157 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in assumptionsFor() local158 if (AVI == AffectedValues.end()) in assumptionsFor()161 return AVI->second; in assumptionsFor()
222 # AVI section extended by Patrik Radman <patrik+file-magic@iki.fi>229 # WAVE/AVI codec registry: https://www.iana.org/assignments/wave-avi-codec-registry/wave-avi-codec-…357 # AVI == Audio Video Interleave358 # Reference: http://fileformats.archiveteam.org/wiki/AVI359 >8 string AVI\040 \b, AVI417 # Note: The tests below assume that the AVI has 1 or 2 streams,630 # AMV-type AVI file: https://wiki.multimedia.cx/index.php?title=AMV806 # AVI == Audio Video Interleave807 >8 string AVI\040 \b, AVI
1127 u8 sdvo_data[HDMI_INFOFRAME_SIZE(AVI)]; in intel_sdvo_set_avi_infoframe()1150 u8 sdvo_data[HDMI_INFOFRAME_SIZE(AVI)]; in intel_sdvo_get_avi_infoframe()
49 AVI automatic vehicle identification
446 AVI:Ciego de Avila, Cuba
10250 avi-nms 4413/tcp # AVI Systems NMS [AVI_Systems] …10251 avi-nms-disc 4413/udp # AVI Systems NMS [AVI_Systems] …19515 # [AVI_Systems] AVI Systems …