1 /* This file is generated from prc_rename.def by genrename. */
3 #ifndef TOPPERS_PRC_RENAME_H
4 #define TOPPERS_PRC_RENAME_H
9 #define prc_initialize _kernel_prc_initialize
10 #define prc_terminate _kernel_prc_terminate
15 #define dispatch _kernel_dispatch
16 #define start_dispatch _kernel_start_dispatch
17 #define exit_and_dispatch _kernel_exit_and_dispatch
18 #define call_exit_kernel _kernel_call_exit_kernel
19 #define start_r _kernel_start_r
20 #define ret_int _kernel_ret_int
21 #define exchdr_entry _kernel_exchdr_entry
22 #define lock_flag _kernel_lock_flag
23 #define saved_iipm _kernel_saved_iipm
25 #ifdef TOPPERS_LABEL_ASM
30 #define _prc_initialize __kernel_prc_initialize
31 #define _prc_terminate __kernel_prc_terminate
36 #define _dispatch __kernel_dispatch
37 #define _start_dispatch __kernel_start_dispatch
38 #define _exit_and_dispatch __kernel_exit_and_dispatch
39 #define _call_exit_kernel __kernel_call_exit_kernel
40 #define _start_r __kernel_start_r
41 #define _ret_int __kernel_ret_int
42 #define _exchdr_entry __kernel_exchdr_entry
43 #define _lock_flag __kernel_lock_flag
44 #define _saved_iipm __kernel_saved_iipm
46 #endif /* TOPPERS_LABEL_ASM */
49 #endif /* TOPPERS_PRC_RENAME_H */