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

/* This file is included only when core_rename.h has been included. */
#ifdef TOPPERS_CORE_RENAME_H
#undef TOPPERS_CORE_RENAME_H

/*
 *  kernel_cfg.c
 */
#undef inh_table
#undef intcfg_table
#undef exc_table

/*
 *  core_support.S
 */
#undef dispatch
#undef start_dispatch
#undef exit_and_dispatch
#undef call_exit_kernel
#undef start_r
#undef irq_handler
#undef undef_handler
#undef svc_handler
#undef pabort_handler
#undef dabort_handler
#undef fiq_handler
#undef current_cpsr
#undef set_cpsr

/*
 *  core_kernel_impl.c
 */
#undef excpt_nest_count
#undef arm_mmu_initialize
#undef core_initialize
#undef core_terminate
#undef xlog_sys
#undef xlog_fsr
#undef default_int_handler
#undef default_exc_handler

/*
 *  gic_kernel_impl.c
 */
#undef gicc_initialize
#undef gicc_terminate
#undef gicd_initialize
#undef gicd_terminate

/*
 *  gic_support.S
 */
#undef irc_begin_int
#undef irc_end_int
#undef irc_get_intpri
#undef irc_begin_exc
#undef irc_end_exc

/*
 *  target_kernel_impl.c
 */
#undef arm_tnum_memory_area
#undef arm_memory_area

#ifdef TOPPERS_LABEL_ASM

/*
 *  kernel_cfg.c
 */
#undef _inh_table
#undef _intcfg_table
#undef _exc_table

/*
 *  core_support.S
 */
#undef _dispatch
#undef _start_dispatch
#undef _exit_and_dispatch
#undef _call_exit_kernel
#undef _start_r
#undef _irq_handler
#undef _undef_handler
#undef _svc_handler
#undef _pabort_handler
#undef _dabort_handler
#undef _fiq_handler
#undef _current_cpsr
#undef _set_cpsr

/*
 *  core_kernel_impl.c
 */
#undef _excpt_nest_count
#undef _arm_mmu_initialize
#undef _core_initialize
#undef _core_terminate
#undef _xlog_sys
#undef _xlog_fsr
#undef _default_int_handler
#undef _default_exc_handler

/*
 *  gic_kernel_impl.c
 */
#undef _gicc_initialize
#undef _gicc_terminate
#undef _gicd_initialize
#undef _gicd_terminate

/*
 *  gic_support.S
 */
#undef _irc_begin_int
#undef _irc_end_int
#undef _irc_get_intpri
#undef _irc_begin_exc
#undef _irc_end_exc

/*
 *  target_kernel_impl.c
 */
#undef _arm_tnum_memory_area
#undef _arm_memory_area

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_CORE_RENAME_H */