Changes in libcfa/src/bits/debug.cfa [ec72861:e3fea42]

File:

• libcfa/src/bits/debug.cfa (modified) (6 diffs)

libcfa/src/bits/debug.cfa

@@ -10 +10 @@
 // Created On       : Thu Mar 30 12:30:01 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Jul 14 22:17:35 2019
-// Update Count     : 4
+// Last Modified On : Tue Feb  4 13:03:16 2020
+// Update Count     : 11
 //
 
@@ -27 +27 @@
 
 extern "C" {
-
-        void __cfaabi_dbg_bits_write( const char *in_buffer, int len ) {
+        void __cfaabi_bits_write( int fd, const char in_buffer[], int len ) {
                 // ensure all data is written
                 for ( int count = 0, retcode; count < len; count += retcode ) {
@@ -34 +33 @@
 
                         for ( ;; ) {
-                                retcode = write( STDERR_FILENO, in_buffer, len - count );
+                                retcode = write( fd, in_buffer, len - count );
 
                                 // not a timer interrupt ?
@@ -44 +43 @@
         }
 
-        void __cfaabi_dbg_bits_acquire() __attribute__((__weak__)) {}
-        void __cfaabi_dbg_bits_release() __attribute__((__weak__)) {}
+        void __cfaabi_bits_acquire() __attribute__((__weak__)) {}
+        void __cfaabi_bits_release() __attribute__((__weak__)) {}
 
-        void __cfaabi_dbg_bits_print_safe  ( const char fmt[], ... ) __attribute__(( format(printf, 1, 2) )) {
+        void __cfaabi_bits_print_safe  ( int fd, const char fmt[], ... ) __attribute__(( format(printf, 2, 3) )) {
                 va_list args;
 
                 va_start( args, fmt );
-                __cfaabi_dbg_bits_acquire();
+                __cfaabi_bits_acquire();
 
                 int len = vsnprintf( buffer, buffer_size, fmt, args );
-                __cfaabi_dbg_bits_write( buffer, len );
+                __cfaabi_bits_write( fd, buffer, len );
 
-                __cfaabi_dbg_bits_release();
+                __cfaabi_bits_release();
                 va_end( args );
         }
 
-        void __cfaabi_dbg_bits_print_nolock( const char fmt[], ... ) __attribute__(( format(printf, 1, 2) )) {
+        void __cfaabi_bits_print_nolock( int fd, const char fmt[], ... ) __attribute__(( format(printf, 2, 3) )) {
                 va_list args;
 
@@ -66 +65 @@
 
                 int len = vsnprintf( buffer, buffer_size, fmt, args );
-                __cfaabi_dbg_bits_write( buffer, len );
+                __cfaabi_bits_write( fd, buffer, len );
 
                 va_end( args );
         }
 
-        void __cfaabi_dbg_bits_print_vararg( const char fmt[], va_list args ) {
+        void __cfaabi_bits_print_vararg( int fd, const char fmt[], va_list args ) {
                 int len = vsnprintf( buffer, buffer_size, fmt, args );
-                __cfaabi_dbg_bits_write( buffer, len );
+                __cfaabi_bits_write( fd, buffer, len );
         }
 
-        void __cfaabi_dbg_bits_print_buffer( char in_buffer[], int in_buffer_size, const char fmt[], ... ) __attribute__(( format(printf, 3, 4) )) {
+        void __cfaabi_bits_print_buffer( int fd, char in_buffer[], int in_buffer_size, const char fmt[], ... ) __attribute__(( format(printf, 4, 5) )) {
                 va_list args;
 
@@ -82 +81 @@
 
                 int len = vsnprintf( in_buffer, in_buffer_size, fmt, args );
-                __cfaabi_dbg_bits_write( in_buffer, len );
+                __cfaabi_bits_write( fd, in_buffer, len );
 
                 va_end( args );