Lines Matching refs:vex_printf
1835 vex_printf("spec request:\n");1836 vex_printf(" %s ", function_name);1838 vex_printf(" ");1841 vex_printf("\n");2243 // vex_printf("TUM mask = 0x%llx\n", mask16);