180 static void stdio_stack_buffer_flush(stdio_stack_buffer_t *buffer) {  in stdio_stack_buffer_flush()  argument
181     if (buffer->used) {  in stdio_stack_buffer_flush()
185             stdio_out_chars_crlf(d, buffer->buf, buffer->used);  in stdio_stack_buffer_flush()
187         buffer->used = 0;  in stdio_stack_buffer_flush()
192     stdio_stack_buffer_t *buffer = (stdio_stack_buffer_t *)arg;  in stdio_buffered_printer()  local
193     if (buffer->used == PICO_STDIO_STACK_BUFFER_SIZE) {  in stdio_buffered_printer()
194         stdio_stack_buffer_flush(buffer);  in stdio_buffered_printer()
196     buffer->buf[buffer->used++] = c;  in stdio_buffered_printer()
326     struct stdio_stack_buffer buffer;  in PRIMARY_STDIO_FUNC()  local
327     buffer.used = 0;  in PRIMARY_STDIO_FUNC()
328     ret = vfctprintf(stdio_buffered_printer, &buffer, format, va);  in PRIMARY_STDIO_FUNC()
329     stdio_stack_buffer_flush(&buffer);  in PRIMARY_STDIO_FUNC()