Lines Matching refs:vex_printf
712 vex_printf("spec request:\n");713 vex_printf(" %s ", function_name);715 vex_printf(" ");718 vex_printf("\n");1099 // vex_printf("TUM mask = 0x%llx\n", mask16);