Searched refs:VexTransOK (Results 1 – 6 of 6) sorted by relevance
260 if (vtr.status != VexTransOK) in main()294 if (vtr.status != VexTransOK) in main()
580 enum { VexTransOK=0x800, enumerator
822 res.status = VexTransOK; in LibVEX_Translate()1000 res.status = VexTransOK; return res; in LibVEX_Translate()1061 res.status = VexTransOK; return res; in LibVEX_Translate()1128 res.status = VexTransOK; in LibVEX_Translate()
609 assert(tres.status == VexTransOK); in make_translation()
279 if (tres.status != VexTransOK) in main()281 assert(tres.status == VexTransOK); in main()
1767 vg_assert(tres.status == VexTransOK); in VG_()