Searched refs:VexTransOK (Results 1 – 5 of 5) sorted by relevance
490 res.status = VexTransOK; in LibVEX_Translate()649 res.status = VexTransOK; return res; in LibVEX_Translate()700 res.status = VexTransOK; return res; in LibVEX_Translate()746 res.status = VexTransOK; in LibVEX_Translate()
462 enum { VexTransOK, enumerator
873 assert(tres == VexTransOK); in make_translation()
235 if (tres.status != VexTransOK) in main()237 assert(tres.status == VexTransOK); in main()
1546 vg_assert(tres.status == VexTransOK); in VG_()