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

/*
 *  prc_config.c
 */
#undef idf
#undef iipm
#undef inh_tbl
#undef iipm_mask_tbl
#undef inh_iipm_tbl
#undef bitpat_cfgint
#undef x_config_int
#undef exch_tbl
#undef int_bitmap_search_table

#undef prc_initialize
#undef prc_terminate

/*
 *  prc_support.S
 */
#undef exception_entry
#undef ret_int
#undef ret_exc
#undef start_r

#ifdef TOPPERS_LABEL_ASM

/*
 *  prc_config.c
 */
#undef _idf
#undef _iipm
#undef _inh_tbl
#undef _iipm_mask_tbl
#undef _inh_iipm_tbl
#undef _bitpat_cfgint
#undef _x_config_int
#undef _exch_tbl
#undef _int_bitmap_search_table

#undef _prc_initialize
#undef _prc_terminate

/*
 *  prc_support.S
 */
#undef _exception_entry
#undef _ret_int
#undef _ret_exc
#undef _start_r

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_PRC_RENAME_H */