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 (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_ */