Lines Matching refs:vex_printf
516 vex_printf("%s %llu\n", text, value);
11071 vex_printf(" which was executed by\n");
13985 vex_printf("%%R3 = client_request ( %%R2 )\n");
14000 vex_printf("%%R3 = guest_NRADDR\n");
16540 if (0) vex_printf("special function handling...\n");
16578 vex_printf("vex s390->IR: ");
16581 vex_printf("unknown insn: ");
16585 vex_printf("unimplemented insn: ");
16589 vex_printf("unimplemented special insn: ");
16593 vex_printf("decoding error: ");
16600 vex_printf("%02x%02x", bytes[0], bytes[1]);
16602 vex_printf(" %02x%02x", bytes[2], bytes[3]);
16605 vex_printf(" %02x%02x", bytes[4], bytes[5]);
16607 vex_printf("\n");
