tkdev_init.c

日本著名的的嵌入式实时操作系统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_init.c (VR5500)
 *	T-Kernel Device-Dependent Initialization/Finalization
 */

#include "kernel.h"
#include <tk/sysdef.h>
#include <tk/syslib.h>
#include <tm/tmonitor.h>

/*
 * Target system-dependant initialization
 */
EXPORT ER tkdev_initialize( void )
{
	/* All interrupts disable */
	out_w(INTCTRL0_L, 0);	/* ICU */
	out_w(INTCTRL0_H, 0);
	out_w(INTCTRL1_L, 0);
	out_w(INTCTRL1_H, 0);
	out_w(GIUINTEN, 0);	/* GPIO */

	/* Enable cascade connections */
	EnableInt(VECNO_GPIO, 2);

#if 0 /* (021217) Use abort switch (INT0) as NMI */
	/* Enable abort switch */
	SetIntMode(VECNO_ABORTSW, IM_LEVEL|IM_LOW);
	EnableInt(VECNO_ABORTSW, 4);
#endif

	return E_OK;
}

/*
 * Target system-dependant finalization
 *	Normally jump to ROM monitor.
 *	No return from this function.
 */
EXPORT void tkdev_exit( void )
{
	disint();
	tm_exit(0);	/* Turn off power and exit */

	/* Not suppose to return from 'tm_exit,' but just in case */
	for ( ;; ) tm_monitor();  /* To T-Monitor */
}