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