Searched refs:header_color (Results 1 – 1 of 1) sorted by relevance
530 const char *header_color = color ? BLUE_HEADER : ""; in do_batch_dump() local545 fprintf(stderr, "%s0x%08"PRIx64": 0x%08x: %-80s%s\n", header_color, in do_batch_dump()