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