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

#ifndef TOPPERS_PRC_RENAME_H
#define TOPPERS_PRC_RENAME_H

/*
 *  prc_config.c, prc_support.src
 */
#define prc_initialize				_kernel_prc_initialize
#define prc_terminate				_kernel_prc_terminate
#define start_r						_kernel_start_r
#define ret_int						_kernel_ret_int
#define ret_exc						_kernel_ret_exc
#define inh_tbl						_kernel_inh_tbl
#define int_iipm_tbl				_kernel_int_iipm_tbl
#define ipr_info_tbl				_kernel_ipr_info_tbl
#define exch_tbl					_kernel_exch_tbl
#define lock_flag					_kernel_lock_flag
#define saved_iipm					_kernel_saved_iipm
#define x_config_int				_kernel_x_config_int
#define asm_mask_ipm				_kernel_asm_mask_ipm
#define int_entry					_kernel_int_entry
#define exc_entry					_kernel_exc_entry
#define excnest_count				_kernel_excnest_count
#define default_int_handler_entry	_kernel_default_int_handler_entry
#define vectors						_kernel_vectors

#ifdef TOPPERS_LABEL_ASM

/*
 *  prc_config.c, prc_support.src
 */
#define _prc_initialize				__kernel_prc_initialize
#define _prc_terminate				__kernel_prc_terminate
#define _start_r					__kernel_start_r
#define _ret_int					__kernel_ret_int
#define _ret_exc					__kernel_ret_exc
#define _inh_tbl					__kernel_inh_tbl
#define _int_iipm_tbl				__kernel_int_iipm_tbl
#define _ipr_info_tbl				__kernel_ipr_info_tbl
#define _exch_tbl					__kernel_exch_tbl
#define _lock_flag					__kernel_lock_flag
#define _saved_iipm					__kernel_saved_iipm
#define _x_config_int				__kernel_x_config_int
#define _asm_mask_ipm				__kernel_asm_mask_ipm
#define _int_entry					__kernel_int_entry
#define _exc_entry					__kernel_exc_entry
#define _excnest_count				__kernel_excnest_count
#define _default_int_handler_entry	__kernel_default_int_handler_entry
#define _vectors					__kernel_vectors

#endif /* TOPPERS_LABEL_ASM */


#endif /* TOPPERS_PRC_RENAME_H */
