tkdev_conf.h

使用广泛的日本著名的开源嵌入式实时操作系统T-Kernel的源码

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

/*
 *	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		0x01U		/* Timer enable */
#define GPTC_PREN	0x02U		/* 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_ */