Searched refs:VexTransOK (Results 1 – 5 of 5) sorted by relevance
614 enum { VexTransOK, enumerator
690 res.status = VexTransOK; in LibVEX_Translate()857 res.status = VexTransOK; return res; in LibVEX_Translate()919 res.status = VexTransOK; return res; in LibVEX_Translate()989 res.status = VexTransOK; in LibVEX_Translate()
609 assert(tres.status == VexTransOK); in make_translation()
258 if (tres.status != VexTransOK) in main()260 assert(tres.status == VexTransOK); in main()
1604 vg_assert(tres.status == VexTransOK); in VG_()