Searched refs:dump_buffer (Results 1 – 3 of 3) sorted by relevance
114 extern void dump_buffer(FILE *, size_t);
192 dump_buffer(traceout, mark); in finish_trace()
461 dump_buffer(FILE *f, size_t m) in dump_buffer() function