Lines Matching refs:vex_printf
344 vex_printf(" ");
346 vex_printf("\n");
355 vex_printf(" ");
356 vex_printf( "goto {");
358 vex_printf( "} ");
360 vex_printf( "\n");
374 vex_printf("\n");
418 vex_printf("resteer[%d,%d] to 0x%llx (delta = %lld)\n",
519 /* vex_printf("%lx %lx %ld\n", first_hW, last_hW, hWs_to_check); */
