1 /* This file is generated from cpu_rename.def by genrename. */
8 #define activate_r _kernel_activate_r
9 #define ret_int _kernel_ret_int
10 #define ret_exc _kernel_ret_exc
11 #define interrupt_count _kernel_interrupt_count
12 #define arm_vector_add _kernel_arm_vector_add
13 #define arm_handler_add _kernel_arm_handler_add
14 #define int_stack _kernel_int_stack
18 #define _activate_r __kernel_activate_r
19 #define _ret_int __kernel_ret_int
20 #define _ret_exc __kernel_ret_exc
21 #define _interrupt_count __kernel_interrupt_count
22 #define _arm_vector_add __kernel_arm_vector_add
23 #define _arm_handler_add __kernel_arm_handler_add
24 #define _int_stack __kernel_int_stack
26 #endif /* LABEL_ASM */
27 #endif /* OMIT_RENAME */
28 #endif /* _CPU_RENAME_H_ */