6#include <manux/config.h>
7#include <manux/appelsysteme.h>
16#define MAX_PRINTF_LENGTH 64
18#define chiffre "0123456789abcdef"
51 while ((*format) && (indice < l-1)) {
57 while ((*format <=
'9') && (*format >=
'0')) {
58 nbChiffres = nbChiffres * 10 + *format -
'0';
82affent :
switch (prefixe) {
87 n =
va_arg(argList,
long int);
102 while (nbChiffres > in) {
107 str[indice++] = nombre[--in];
111 s =
va_arg(argList,
char *);
114 str[indice++] = s[in++];
118 c = (char)
va_arg(argList,
int);
127 str[indice++] = *format;
133 str[(indice < l)?indice:(l-1)] = 0;
154 ecrire(1, chaine, result);
#define va_start(ap, last)
__builtin_va_list va_list
int vsnprintf(char *str, const size_t l, char *format, va_list argList)
Le formatage effectf.
int vsnprintk(char *str, const size_t l, char *format, va_list argList)
void printf(char *format,...)
Un premier printf.
#define MAX_PRINTF_LENGTH
int lire(int fd, void *buffer, int nb)
int ecrireConsole(char *buffer, int nbBytes)
int ecrire(int fd, void *buffer, int nb)
#define appelSysteme1(numero, typeRetour, nom, typeArgument)
#define appelSysteme3(numero, typeRetour, nom, typeArgument1, typeArgument2, typeArgument3)
#define appelSysteme2(numero, typeRetour, nom, typeArgument1, typeArgument2)