/* wdbTrace32PktDrv.h - header file for WDB agents Trace32 packet driver */

/* Copyright 1984-1995 Wind River Systems, Inc. */
/* 1996 Lauterbach Datentechnik GmbH */

/*
modification history
--------------------
01a,23aug95,ms  written.
*/

#ifndef __INCwdbTrace32PktLibh
#define __INCwdbTrace32PktLibh

/* includes */

#include "sioLib.h"
#include "wdb/wdb.h"
#include "wdb/wdbCommIfLib.h"
#include "wdb/wdbMbufLib.h"

/* defines */

#define WDB_TRACE32_PKT_MTU           1000    /* MTU of this driver */

/* data types */

typedef struct		/* hidden */
    {
    WDB_DRV_IF	wdbDrvIf;		/* a packet dev must have this first */
    u_int	mode;			/* current mode - poll or int */

    /* input buffer - loaned to the agent when a packet arrives */

    bool_t	inputBusy;
    char	inBuf [WDB_TRACE32_PKT_MTU];

    /* output buffers - a chain of mbufs given to us by the agent */

    bool_t	outputBusy;

    /* device register addresses etc */

    } WDB_TRACE32_PKT_DEV;

/* function prototypes */

#if defined(__STDC__)

extern void	wdbTrace32PktDevInit (WDB_TRACE32_PKT_DEV *pPktDev,
				  /* device specific init params, */
				  void (*stackRcv)());

#else   /* __STDC__ */

extern void    wdbTrace32PktDevInit ();

#endif  /* __STDC__ */

#endif  /* __INCwdbTrace32PktLibh */