Searched refs:VexTransOK (Results 1 – 5 of 5) sorted by relevance
516 enum { VexTransOK, enumerator
579 res.status = VexTransOK; in LibVEX_Translate()743 res.status = VexTransOK; return res; in LibVEX_Translate()805 res.status = VexTransOK; return res; in LibVEX_Translate()865 res.status = VexTransOK; in LibVEX_Translate()
873 assert(tres == VexTransOK); in make_translation()
235 if (tres.status != VexTransOK) in main()237 assert(tres.status == VexTransOK); in main()
1561 vg_assert(tres.status == VexTransOK); in VG_()