1 /* This file is generated from cpu_rename.def by genrename. */
6 #define activate_r _kernel_activate_r
7 #define ret_int _kernel_ret_int
8 #define ret_exc _kernel_ret_exc
9 #define task_intmask _kernel_task_intmask
10 #define int_intmask _kernel_int_intmask
14 #define _activate_r __kernel_activate_r
15 #define _ret_int __kernel_ret_int
16 #define _ret_exc __kernel_ret_exc
17 #define _task_intmask __kernel_task_intmask
18 #define _int_intmask __kernel_int_intmask
20 #endif /* LABEL_ASM */
21 #endif /* _CPU_RENAME_H_ */