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

#ifndef TOPPERS_PRC_RENAME_H
#define TOPPERS_PRC_RENAME_H

/*
 *  prc_config.c
 */
#define idf							_kernel_idf
#define iipm						_kernel_iipm
#define inh_tbl						_kernel_inh_tbl
#define iipm_mask_tbl				_kernel_iipm_mask_tbl
#define inh_iipm_tbl				_kernel_inh_iipm_tbl
#define bitpat_cfgint				_kernel_bitpat_cfgint
#define x_config_int				_kernel_x_config_int
#define exch_tbl					_kernel_exch_tbl
#define int_bitmap_search_table		_kernel_int_bitmap_search_table
#define default_exc_handler			_kernel_default_exc_handler
#define default_int_handler			_kernel_default_int_handler

#define prc_initialize				_kernel_prc_initialize
#define prc_terminate				_kernel_prc_terminate

/*
 *  prc_support.S
 */
#define exception_entry				_kernel_exception_entry
#define ret_int						_kernel_ret_int
#define ret_exc						_kernel_ret_exc
#define start_r						_kernel_start_r

#ifdef TOPPERS_LABEL_ASM

/*
 *  prc_config.c
 */
#define _idf						__kernel_idf
#define _iipm						__kernel_iipm
#define _inh_tbl					__kernel_inh_tbl
#define _iipm_mask_tbl				__kernel_iipm_mask_tbl
#define _inh_iipm_tbl				__kernel_inh_iipm_tbl
#define _bitpat_cfgint				__kernel_bitpat_cfgint
#define _x_config_int				__kernel_x_config_int
#define _exch_tbl					__kernel_exch_tbl
#define _int_bitmap_search_table	__kernel_int_bitmap_search_table
#define _default_exc_handler		__kernel_default_exc_handler
#define _default_int_handler		__kernel_default_int_handler

#define _prc_initialize				__kernel_prc_initialize
#define _prc_terminate				__kernel_prc_terminate

/*
 *  prc_support.S
 */
#define _exception_entry			__kernel_exception_entry
#define _ret_int					__kernel_ret_int
#define _ret_exc					__kernel_ret_exc
#define _start_r					__kernel_start_r

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_PRC_RENAME_H */