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

#ifndef TOPPERS_CORE_RENAME_H
#define TOPPERS_CORE_RENAME_H

/*
 *  core_config.c
 */
#define intnest						_kernel_intnest
#define core_initialize				_kernel_core_initialize
#define core_terminate				_kernel_core_terminate
#define call_int_handler			_kernel_call_int_handler
#define call_exc_handler			_kernel_call_exc_handler
#define call_fiq_handler			_kernel_call_fiq_handler
#define default_exc_handler			_kernel_default_exc_handler
#define default_int_handler			_kernel_default_int_handler

/*
 *  core_support.S
 */
#define start_dispatch				_kernel_start_dispatch
#define call_exit_kernel			_kernel_call_exit_kernel
#define ret_int						_kernel_ret_int
#define ret_exc						_kernel_ret_exc
#define ret_fiq						_kernel_ret_fiq
#define vectors						_kernel_vectors

#ifdef TOPPERS_LABEL_ASM

/*
 *  core_config.c
 */
#define _intnest					__kernel_intnest
#define _core_initialize			__kernel_core_initialize
#define _core_terminate				__kernel_core_terminate
#define _call_int_handler			__kernel_call_int_handler
#define _call_exc_handler			__kernel_call_exc_handler
#define _call_fiq_handler			__kernel_call_fiq_handler
#define _default_exc_handler		__kernel_default_exc_handler
#define _default_int_handler		__kernel_default_int_handler

/*
 *  core_support.S
 */
#define _start_dispatch				__kernel_start_dispatch
#define _call_exit_kernel			__kernel_call_exit_kernel
#define _ret_int					__kernel_ret_int
#define _ret_exc					__kernel_ret_exc
#define _ret_fiq					__kernel_ret_fiq
#define _vectors					__kernel_vectors

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_CORE_RENAME_H */