#include <manux/types.h>
#include <stdio.h>
#include <unistd.h>
Aller au code source de ce fichier.
Définition à la ligne 11 du fichier init-appel-systeme.c.