#define _XOPEN_SOURCE 500 #include #include "output_buffer.h" void stdout_output_buffer ( int out_fd, uint8_t* buffer, size_t buffer_size ) { while ( buffer_size ) { const ssize_t r = write( out_fd, (void*) buffer, buffer_size ); buffer_size -= (size_t) r; buffer += (size_t) r; } fdatasync( out_fd ); }