File content as of revision 0:4843fcdba3cc:

#ifndef  __os_printf_c__ 
 #define __os_printf_c__ 
 
#include "eprintf.h" 

void printf_verarbeitung (void) 
  {
    //char c; 
      // Den printf-Buffer leeren (ausgeben) 
      // Das wird nur hier einzig und allein gemacht! 
    /* while (printbuffer->anzahl) 
         { 
           c = getchar_from_ringbuffer (printbuffer); 
           putchar (stderror, c); 
         } 
    */ 
    
  } 
  
  // Definition wie printf selber
  
int eprintf (char *format, ...) 
  { /*
    os.GetResource (RES_PRINTF); 
      // "fast voll" muss um _"Warning: Printbuffer voll!\n\r"_ = 32 Zeichen groesser sein! 
    if (!printfbuffer_fast_voll()) 
      {
         printf_in_buffer (format); 
      } 
     else  
      { 
        printf_in_buffer ("Warning: Printbuffer voll!\n\r"); 
      } 
    os_ReleaseResource 8RES_PRINTF); 
    */
   return 0; 
  } 
 

#endif // von ifndef __os_printf_c__