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

/* This file is included only when prc_rename.h has been included. */
#ifdef TOPPERS_PRC_RENAME_H
#undef TOPPERS_PRC_RENAME_H

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

/*
 *  gic_support.S
 */
#undef gic_exc_entry
#undef gic_int_entry

/*
 *  prc_config.c
 */
#undef intnest
#undef prc_initialize
#undef prc_terminate
#undef x_config_int
#undef default_exc_handler
#undef default_int_handler
#undef call_int_handler
#undef call_exc_handler

/*
 *  prc_support.S
 */
#undef start_dispatch
#undef call_exit_kernel
#undef ret_int
#undef vectors

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

#ifdef TOPPERS_LABEL_ASM

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

/*
 *  gic_support.S
 */
#undef _gic_exc_entry
#undef _gic_int_entry

/*
 *  prc_config.c
 */
#undef _intnest
#undef _prc_initialize
#undef _prc_terminate
#undef _x_config_int
#undef _default_exc_handler
#undef _default_int_handler
#undef _call_int_handler
#undef _call_exc_handler

/*
 *  prc_support.S
 */
#undef _start_dispatch
#undef _call_exit_kernel
#undef _ret_int
#undef _vectors

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

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_PRC_RENAME_H */