1 /* This file is generated from chip_rename.def by genrename. */
3 #ifndef TOPPERS_CHIP_RENAME_H
4 #define TOPPERS_CHIP_RENAME_H
7 #define chip_initialize _kernel_chip_initialize
8 #define initPLL1 _kernel_initPLL1
9 #define chip_exit _kernel_chip_exit
10 #define chip_fput_log _kernel_chip_fput_log
12 #ifdef TOPPERS_LABEL_ASM
15 #define _chip_initialize __kernel_chip_initialize
16 #define _initPLL1 __kernel_initPLL1
17 #define _chip_exit __kernel_chip_exit
18 #define _chip_fput_log __kernel_chip_fput_log
20 #endif /* TOPPERS_LABEL_ASM */
22 #include "arm_m_gcc/common/core_rename.h"
24 #endif /* TOPPERS_CHIP_RENAME_H */