Lines Matching refs:vex_printf
179 vex_printf("%s\n", s390_insn_as_string(insn));
562 vex_printf("calling %s: argument #%u has type ", callee->name, i);
564 vex_printf("; Ity_I64 is required\n");
631 vex_printf("calling %s: return type is ", callee->name);
633 vex_printf("; an integer type is required\n");
3514 vex_printf("\n -- ");
3516 vex_printf("\n");
3933 if (0) vex_printf("%s", to_fast_entry ? "Y" : ",");
4008 vex_printf("\n-- PUT(%d) = ", offsIP);
4010 vex_printf("; exit-");
4012 vex_printf("\n");
4029 if (0) vex_printf("%s", to_fast_entry ? "X" : ".");
