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

#ifndef TOPPERS_PRC_RENAME_H
#define TOPPERS_PRC_RENAME_H

/*
 *  gic_config.c
 */
#define gicc_initialize				_kernel_gicc_initialize
#define gicc_terminate				_kernel_gicc_terminate
#define gicd_initialize				_kernel_gicd_initialize
#define gicd_terminate				_kernel_gicd_terminate

/*
 *  gic_support.S
 */
#define gic_exc_entry				_kernel_gic_exc_entry
#define gic_int_entry				_kernel_gic_int_entry

/*
 *  prc_config.c
 */
#define intnest						_kernel_intnest
#define prc_initialize				_kernel_prc_initialize
#define prc_terminate				_kernel_prc_terminate
#define x_config_int				_kernel_x_config_int
#define default_exc_handler			_kernel_default_exc_handler
#define default_int_handler			_kernel_default_int_handler
#define call_int_handler			_kernel_call_int_handler
#define call_exc_handler			_kernel_call_exc_handler

/*
 *  prc_support.S
 */
#define start_dispatch				_kernel_start_dispatch
#define call_exit_kernel			_kernel_call_exit_kernel
#define ret_int						_kernel_ret_int
#define vectors						_kernel_vectors

/*
 *  kernel_cfg.c
 */
#define intcfg_table				_kernel_intcfg_table
#define inh_table					_kernel_inh_table
#define exc_table					_kernel_exc_table

#ifdef TOPPERS_LABEL_ASM

/*
 *  gic_config.c
 */
#define _gicc_initialize			__kernel_gicc_initialize
#define _gicc_terminate				__kernel_gicc_terminate
#define _gicd_initialize			__kernel_gicd_initialize
#define _gicd_terminate				__kernel_gicd_terminate

/*
 *  gic_support.S
 */
#define _gic_exc_entry				__kernel_gic_exc_entry
#define _gic_int_entry				__kernel_gic_int_entry

/*
 *  prc_config.c
 */
#define _intnest					__kernel_intnest
#define _prc_initialize				__kernel_prc_initialize
#define _prc_terminate				__kernel_prc_terminate
#define _x_config_int				__kernel_x_config_int
#define _default_exc_handler		__kernel_default_exc_handler
#define _default_int_handler		__kernel_default_int_handler
#define _call_int_handler			__kernel_call_int_handler
#define _call_exc_handler			__kernel_call_exc_handler

/*
 *  prc_support.S
 */
#define _start_dispatch				__kernel_start_dispatch
#define _call_exit_kernel			__kernel_call_exit_kernel
#define _ret_int					__kernel_ret_int
#define _vectors					__kernel_vectors

/*
 *  kernel_cfg.c
 */
#define _intcfg_table				__kernel_intcfg_table
#define _inh_table					__kernel_inh_table
#define _exc_table					__kernel_exc_table

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_PRC_RENAME_H */