timer.h

VRTX操作系统

/*************************************************************************

	Copyright (c) 1999 Mentor Graphics Corporation.


IMPORTANT - USE OF THIS SOFTWARE IS SUBJECT TO LICENSE RESTRICTIONS
CAREFULLY READ THE LICENSE AGREEMENT BEFORE USING THE SOFTWARE


*************************************************************************/

#define NO_TIMER 255

struct vmc_timer_t {
  char started;         /* if the timer is started              */
  unsigned char next;   /* Next pointer in delta list           */
  unsigned char prev;   /* Prev pointer in delta list           */
  unsigned long count;  /* count on delta list                  */
  void (*handler)();    /* handler to be called on expiration   */
  void *arg;            /* argument to be passed to the handler */
};

extern struct vmc_timer_t vmc_timers[];

extern unsigned char vmc_nexttimer;