/* This file is generated from prc_rename.def by genrename. */

#ifndef TOPPERS_PRC_RENAME_H
#define TOPPERS_PRC_RENAME_H

/*
 *  prc_config.c
 */
#define intnest           			_kernel_intnest
#define lock_flag         			_kernel_lock_flag
#define saved_ipl         			_kernel_saved_ipl
#define start_dispatch    			_kernel_start_dispatch
#define prc_initialize    			_kernel_prc_initialize
#define prc_terminate     			_kernel_prc_terminate
#define call_exit_kernel  			_kernel_call_exit_kernel
#define x_config_int      			_kernel_x_config_int
#define interrupt_dispatch			_kernel_interrupt_dispatch			
#define intc_reg          			_kernel_intc_reg

/*
 *  kernel_cfg.c
 */
#define intpri_table       			_kernel_intpri_table

#ifdef TOPPERS_LABEL_ASM

/*
 *  prc_config.c
 */
#define _intnest           			__kernel_intnest
#define _lock_flag         			__kernel_lock_flag
#define _saved_ipl					__kernel_saved_ipl
#define _start_dispatch    			__kernel_start_dispatch
#define _prc_initialize    			__kernel_prc_initialize
#define _prc_terminate     			__kernel_prc_terminate
#define _call_exit_kernel  			__kernel_call_exit_kernel
#define _x_config_int      			__kernel_x_config_int
#define _interrupt_dispatch			__kernel_interrupt_dispatch			
#define _intc_reg          			__kernel_intc_reg


/*
 *  kernel_cfg.c
 */
#define _intpri_table      			__kernel_intpri_table

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_PRC_RENAME_H */