printk.h

Aller à la documentation de ce fichier.

 
#ifndef STD_IO_DEF
#define STD_IO_DEF
 
#include <manux/config.h>
#include <manux/stdarg.h>
#include <manux/stddef.h>   // size_t
#ifdef MANUX_FICHIER
#include <manux/fichier.h>
#endif
 
#define MAX_PRINTK_LENGTH 2048 //512
 
#define PRINTK_PANIQUE      "{0}"
#define PRINTK_URGENCE      "{1}"
#define PRINTK_CRITIQUE     "{2}"
#define PRINTK_ERREUR       "{3}"
#define PRINTK_ATTENTION    "{4}"
#define PRINTK_NOTIFICATION "{5}"
#define PRINTK_INFORMATION  "{6}"
#define PRINTK_DEBUGAGE     "{7}"
 
void printk(char * format, ...);
 
#ifdef MANUX_CONSOLES_VIRTUELLES
void printkc(char * format, ...);
 
// Si on n'a pas de console virtuelle, printkc ne peut pas faire mieux
// que printk
#else
#   define printkc printk
#endif
 
int sprintk(char * str, char * format, ...);
 
int vsprintk(char * str, char * format, va_list argList);
 
int snprintk(char * str, size_t l, char * format, ...);
 
#ifdef MANUX_FICHIER
#define fprintk(f, format, ...) \
  {    \
   char chaine[MAX_PRINTK_LENGTH]; \
   fichierEcrire(f, chaine, snprintk(chaine, MAX_PRINTK_LENGTH, format, __VA_ARGS__));  \
}
#endif // MANUX_FICHIER
#endif