/* 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

/*
 *  core_config.c
 */
#undef intnest
#undef core_initialize
#undef core_terminate
#undef call_int_handler
#undef call_exc_handler
#undef call_fiq_handler
#undef default_exc_handler
#undef default_int_handler

/*
 *  core_support.S
 */
#undef start_dispatch
#undef call_exit_kernel
#undef ret_int
#undef ret_exc
#undef ret_fiq
#undef vectors

#ifdef TOPPERS_LABEL_ASM

/*
 *  core_config.c
 */
#undef _intnest
#undef _core_initialize
#undef _core_terminate
#undef _call_int_handler
#undef _call_exc_handler
#undef _call_fiq_handler
#undef _default_exc_handler
#undef _default_int_handler

/*
 *  core_support.S
 */
#undef _start_dispatch
#undef _call_exit_kernel
#undef _ret_int
#undef _ret_exc
#undef _ret_fiq
#undef _vectors

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_CORE_RENAME_H */