tkdev_conf.h

日本著名的的嵌入式实时操作系统T-Kernel的源码及用户手册。

/*
 *----------------------------------------------------------------------
 *    T-Kernel
 *
 *    Copyright (C) 2004 by Ken Sakamura. All rights reserved.
 *    T-Kernel is distributed under the T-License.
 *----------------------------------------------------------------------
 *
 *    Version:   1.01.00
 *    Released by T-Engine Forum(http://www.t-engine.org) at 2004/6/28.
 *
 *----------------------------------------------------------------------
 */

/*
 *	tkdev_conf.h (VR5500)
 *	Target System Configuration 
 */

#ifndef _TKDEV_CONF_
#define	_TKDEV_CONF_
/* Also included from assembler source */

/*
 * Timer
 *	Register size W
 */
#define	GPT(n)		( INTCS_BASE + (n) )

#define	GPTCLK		1846200		/* Input clock 1.8462 MHz */

					/* Generic timer #0 */
#define	GPT0VAL		GPT(0x4100)	/* RW: Re-load value register */
#define	GPT0CTRL	GPT(0x4104)	/* RW: Control register */
#define	GPT0CNTR	GPT(0x4108)	/* R-: Current value register */

					/* Control register setting value */
#define	GPTC_EN		0x01		/* Timer enable */
#define	GPTC_PREN	0x02		/* Pre-scale enable */
#define	GPTC_PRSC(n)	((n) << 2)	/* Pre-scale source */

#define	GPT0_IRQ	22		/* Generic timer #0 interrupt number */
#define	VECNO_GPT0	EIT_IRQ(GPT0_IRQ) /* Generic timer #0 interrupt vector number */

/*
 * Timer interrupt level
 */
#define	TIMER_INTLEVEL		3

#endif /* _TKDEV_CONF_ */