5:  #include <petscsys.h>
  6:  #include <petsc/private/petscimpl.h>

  8: /* ----------------------------------------------------------------------- */
  9: typedef struct _PrintfQueue *PrintfQueue;
 10: struct _PrintfQueue {
 11:   char        *string;
 12:   int         size;
 13:   PrintfQueue next;
 14: };

 16: PETSC_INTERN PrintfQueue petsc_printfqueue;
 17: PETSC_INTERN PrintfQueue petsc_printfqueuebase;
 18: PETSC_INTERN int         petsc_printfqueuelength;

 20: #endif