Lines Matching refs:LibVEX_Translate
122 LibVEX_Translate, send in a chase-into predicate that always180 /* ----- Set up args for LibVEX_Translate ----- */233 tres = LibVEX_Translate ( &vta );