#ifndef __TASK_STRUC_H

#define __TASK_STRUC_H

#ifdef WSDEBUG
#include <stdio.h>
#endif


/* cette structure permet ą une tāche de communiquer des
 * informations au kernel et d'en recevoir de celui-ci...
*/
typedef struct
{
  unsigned char task;
  unsigned char sem;
  unsigned char val;
  unsigned char sysCallCode;
  unsigned char pos;
} taskParmStruc;

#if MAX_TASK == 64
typedef struct
{
  unsigned char y;
  unsigned char x[8];
} prtyStruc;
#else                   /* MAX_TASK == 8 */
typedef struct
{
  unsigned char x;
} prtyStruc;
#endif


#endif