Lines Matching refs:LibVEX_Translate
3 /*--- Interface to LibVEX_Translate, and the SP-update pass ---*/
809 /* This is a callback passed to LibVEX_Translate. It stops Vex from
1458 /* Set up args for LibVEX_Translate. */
1544 tres = LibVEX_Translate ( &vta );
