1 /* This file is generated from target_rename.def by genrename. */
3 #ifndef TOPPERS_TARGET_RENAME_H
4 #define TOPPERS_TARGET_RENAME_H
7 #define target_initialize _kernel_target_initialize
8 #define target_exit _kernel_target_exit
11 #ifdef TOPPERS_LABEL_ASM
14 #define _target_initialize __kernel_target_initialize
15 #define _target_exit __kernel_target_exit
18 #endif /* TOPPERS_LABEL_ASM */
20 #include "chip_rename.h"
22 #endif /* TOPPERS_TARGET_RENAME_H */