Searched refs:utrace_buffer (Results 1 – 1 of 1) sorted by relevance
1070 unsigned char *utrace_buffer; in print_utrace() local1078 utrace_buffer = utrace_addr; in print_utrace()1081 fprintf(fp, " %02x", *utrace_buffer++); in print_utrace()