patch.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.
 *
 *----------------------------------------------------------------------
 */

/*
 *	patch.c (VR5500)
 *	System-dependant initialize process
 */

#include <basic.h>
#include <tk/tkernel.h>
#include "patch.h"

#define	INTNO_IP0	(63)		// IP0

/*
 * Dummy interrupt handler to ignore invalid interrupt
 */
LOCAL void ignore_interrupt( UINT dintno )
{
}

#if USE_SYSDEPEND_PATCH1
/*
 * System-dependant processes (before start_system)
 */
EXPORT void sysdepend_patch1( void )
{
	T_DINT	dint;

	dint.intatr = TA_HLNG;
	dint.inthdr = ignore_interrupt;

	tk_def_int(INTNO_IP0, &dint);
}
#endif

#if USE_SYSDEPEND_PATCH2
/*
 * System-dependant processes (after start_system)
 */
EXPORT void sysdepend_patch2( void )
{
	/* Do nothing */
}
#endif