delay.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


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

/* delay.h */

#include "processor.h"
	
extern	unsigned char	vmc_delayhead;
extern	unsigned long	*vmc_dlytop;
extern	unsigned char	vmc_dlynempty;
extern	unsigned char	vmc_roundrobin;
extern	unsigned long	vmc_systime, vmc_timer_ticks;
extern  void		vmc_twakeup(unsigned long);
extern	int		vmc_dequeued(int tid);
extern  int	vmc_insertd(int tid, unsigned long key, cpu_interrupt_t);

#define get_vmc_dlytop() &vmc_tasktab[vmc_delayhead].timeout