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 (VR4131)
 *	Target System Configuration 
 */

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

/*
 * Timer
 *	Register size H
 */
#define RTC(n)		( INTCS_BASE + (n) )

					/* TClock timer */
#define TCLKLREG	RTC(0x0120)	/* RW: Initial value  Low register */
#define TCLKHREG	RTC(0x0122)	/* RW: Initial value  High register */
#define TCLKCNTLREG	RTC(0x0124)	/* R-: Current value  Low register */
#define TCLKCNTHREG	RTC(0x0126)	/* R-: Current value  High register */

#define RTCINTREG	RTC(0x013e)	/* RW: RTC interrupt register */
#define RTC_TCLK	0x0008		/* TClock interrupt */

#define TCLK_IRQ	19		/* TClock timer interrupt number */
#define VECNO_TCLK	EIT_IRQ(TCLK_IRQ) /* TClock timer interrupt vector number */

/*
 * GPIO
 *	Register size H
 */
#define GIUIOSELL	GIU(0x0140)	/* RW: Terminal input/output setting L */
#define GIUIOSELH	GIU(0x0142)	/* RW: Terminal input/output setting H */

/*
 * Timer interrupt level
 *	Because there is no interrupt priority control, it is not meaningful.
 */
#define TIMER_INTLEVEL		0

#endif /* _TKDEV_CONF_ */