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

#ifndef TOPPERS_CORE_RENAME_H
#define TOPPERS_CORE_RENAME_H

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

/*
 *  core_support.S
 */
#define dispatch					_kernel_dispatch
#define start_dispatch				_kernel_start_dispatch
#define exit_and_dispatch			_kernel_exit_and_dispatch
#define call_exit_kernel			_kernel_call_exit_kernel
#define start_r						_kernel_start_r
#define irq_handler					_kernel_irq_handler
#define undef_handler				_kernel_undef_handler
#define svc_handler					_kernel_svc_handler
#define pabort_handler				_kernel_pabort_handler
#define dabort_handler				_kernel_dabort_handler
#define fiq_handler					_kernel_fiq_handler
#define current_cpsr				_kernel_current_cpsr
#define set_cpsr					_kernel_set_cpsr

/*
 *  core_kernel_impl.c
 */
#define excpt_nest_count			_kernel_excpt_nest_count
#define arm_mmu_initialize			_kernel_arm_mmu_initialize
#define core_initialize				_kernel_core_initialize
#define core_terminate				_kernel_core_terminate
#define xlog_sys					_kernel_xlog_sys
#define xlog_fsr					_kernel_xlog_fsr
#define default_int_handler			_kernel_default_int_handler
#define default_exc_handler			_kernel_default_exc_handler

/*
 *  gic_kernel_impl.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 irc_begin_int				_kernel_irc_begin_int
#define irc_end_int					_kernel_irc_end_int
#define irc_get_intpri				_kernel_irc_get_intpri
#define irc_begin_exc				_kernel_irc_begin_exc
#define irc_end_exc					_kernel_irc_end_exc

/*
 *  target_kernel_impl.c
 */
#define arm_tnum_memory_area		_kernel_arm_tnum_memory_area
#define arm_memory_area				_kernel_arm_memory_area

#ifdef TOPPERS_LABEL_ASM

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

/*
 *  core_support.S
 */
#define _dispatch					__kernel_dispatch
#define _start_dispatch				__kernel_start_dispatch
#define _exit_and_dispatch			__kernel_exit_and_dispatch
#define _call_exit_kernel			__kernel_call_exit_kernel
#define _start_r					__kernel_start_r
#define _irq_handler				__kernel_irq_handler
#define _undef_handler				__kernel_undef_handler
#define _svc_handler				__kernel_svc_handler
#define _pabort_handler				__kernel_pabort_handler
#define _dabort_handler				__kernel_dabort_handler
#define _fiq_handler				__kernel_fiq_handler
#define _current_cpsr				__kernel_current_cpsr
#define _set_cpsr					__kernel_set_cpsr

/*
 *  core_kernel_impl.c
 */
#define _excpt_nest_count			__kernel_excpt_nest_count
#define _arm_mmu_initialize			__kernel_arm_mmu_initialize
#define _core_initialize			__kernel_core_initialize
#define _core_terminate				__kernel_core_terminate
#define _xlog_sys					__kernel_xlog_sys
#define _xlog_fsr					__kernel_xlog_fsr
#define _default_int_handler		__kernel_default_int_handler
#define _default_exc_handler		__kernel_default_exc_handler

/*
 *  gic_kernel_impl.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 _irc_begin_int				__kernel_irc_begin_int
#define _irc_end_int				__kernel_irc_end_int
#define _irc_get_intpri				__kernel_irc_get_intpri
#define _irc_begin_exc				__kernel_irc_begin_exc
#define _irc_end_exc				__kernel_irc_end_exc

/*
 *  target_kernel_impl.c
 */
#define _arm_tnum_memory_area		__kernel_arm_tnum_memory_area
#define _arm_memory_area			__kernel_arm_memory_area

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_CORE_RENAME_H */