7#include <manux/config.h>
8#include <manux/appelsysteme.h>
18typedef void (CorpsTache());
29#ifdef MANUX_AS_TEST_SYNCHRO
typedef void(CorpsTache())
int identifiantTache()
Obtention de l'identifiant de la tâche en cours.
int basculerTache()
Basculer vers une autre tâche. On rend simplement la main, c'est du collaboratif.
int tube(int *fd)
Création d'un tube de communication.
int creerNouvelleTache(void(corps()), booleen shareCons)
Création d"une nouvelle tâche.
int appelSystemeInutile()
Un appel système sans intérêt, pour l'exemple.
#define appelSysteme0(numero, typeRetour, nom)
#define appelSysteme1(numero, typeRetour, nom, typeArgument)
#define appelSysteme2(numero, typeRetour, nom, typeArgument1, typeArgument2)