sysintbl.c

VRTX 商用嵌入式实时操作系统

/***************************************************************************
*
*		Copyright (c) 1993 MICROTEC RESEARCH INCORPORATED.
*
*	All rights reserved. MICROTEC RESEARCH's source code is an unpublished
*	work and the use of a copyright notice does not imply otherwise.
*	This source code contains confidential, trade secret material of
*	MICROTEC RESEARCH. Any attempt or participation in deciphering, decoding,
*	reverse engineering or in any way altering the source code is
*	strictly prohibited, unless the prior written consent of
*	MICROTEC RESEARCH is obtained.
*
*
*	Module Name:		%M%
*
*	Identification:		%Z% %I% %M%
*
*	Date:			%G%  %U%
*
****************************************************************************
*/


#include <syskind.h>

extern void sys_get_bootitem(ANSIPROT0);
extern void sys_initialize_console(ANSIPROT0);
extern void sys_initialize_default_isr(ANSIPROT0);
extern void sys_initialize_80386(ANSIPROT0);
extern void sys_initialize_syshooks(ANSIPROT0);
extern void sys_initialize_mmu_cache(ANSIPROT0);
extern void user_init1(ANSIPROT0);
extern void sys_initialize_vrtxsa_cfg(ANSIPROT0);
extern void sys_initialize_vrtx(ANSIPROT0);
extern void sys_initialize_device_vectors(ANSIPROT0);
extern void sys_enable_device_ints(ANSIPROT0);
extern void sys_initialize_timer(ANSIPROT0);
extern void sys_initialize_clock(ANSIPROT0);
extern void sys_initialize_rtl(ANSIPROT0);
extern void sys_initialize_environment(ANSIPROT0);
extern void user_init2(ANSIPROT0);
extern void startup(ANSIPROT0);
extern void sys_initialize_nk_os_mode(ANSIPROT0);
extern void v90k_go(ANSIPROT0);

const sys_tentry_t sys_init_table[] = {
/*0*/	sys_get_bootitem,
/*1*/	sys_initialize_console,
/*2*/	sys_initialize_default_isr,
/*3*/	sys_initialize_80386,
/*4*/	sys_initialize_syshooks,
/*5*/	sys_initialize_mmu_cache,
/*6*/	user_init1,
/*7*/	sys_initialize_vrtxsa_cfg,
/*8*/	sys_initialize_vrtx,
/*9*/	sys_initialize_device_vectors,
/*10*/	sys_enable_device_ints,
/*11*/	sys_initialize_timer,
/*12*/	sys_initialize_clock,
/*13*/	sys_initialize_rtl,
/*14*/	sys_initialize_environment,
/*15*/	user_init2,
/*16*/	startup,
/*17*/	sys_initialize_nk_os_mode,
/*18*/	v90k_go,
	0
};