Lines Matching full:tres
102 VexTranslateResult tres;233 tres = LibVEX_Translate ( &vta );235 if (tres.status != VexTransOK)236 printf("\ntres = %d\n", (Int)tres.status);237 assert(tres.status == VexTransOK);238 assert(tres.n_sc_extents == 0);