/*
    NetInQueueMngr.h, Copyright  (c) by Boris Lutz,
    Swiss Federal Institute of Technology,
    Computer Engineering and Networks Laboratory.
 
    TOPSY -- A Teachable Operating System.
             Implementation of a tiny and simple
             micro kernel for teaching purposes.
 
    For further information, please visit http://www.tik.ee.ethz.ch/~topsy
 
    This software is provided under the terms of the GNU General Public 
    Licence. A full copy of the GNU GPL is provided in the file COPYING 
    found in the development root of Topsy.
*/
/*
	
    File:                  $Source: /home/ruf/cvs_Topsy/cvs/Topsy/Net/NetInQueueMngr.h,v $
    Author(s):             
    Affiliation:           ETH Zuerich, TIK
    Version:               $Revision: 2922 $
    Creation Date:         
    Last Date of Change:   $Date: 2007-03-19 17:48:52 +0100 (Mon, 19 Mär 2007) $      by: $Author: baderma $
 
 
*/


#ifndef _NETQUEUEMNGR_H_
#define _NETQUEUEMNGR_H_

#include "Topsy.h"

/* PoolThread states (stored ion the TIfElem structure) */
#define TIF_IDLE 0
#define TIF_RUNNING 1
#define TIF_BLOCKED 2
#define TIF_UNKNOWN 3

/* global variables */
ThreadId		netInqueueThread;

/* type declarations */
typedef struct ThreadInfoDesc_t
{
  ThreadId	tid;
  int			state;
}
ThreadInfoDesc;
typedef ThreadInfoDesc *ThreadInfoElem;

/* function prototypes */
void netInQueueManager (ThreadArg NumOfPT);


#endif
