Lines Matching refs:VexTransOK
258 if (tres.status != VexTransOK)260 assert(tres.status == VexTransOK);