/* This file is generated from target_rename.def by genrename. */

#ifndef TOPPERS_TARGET_RENAME_H
#define TOPPERS_TARGET_RENAME_H


#ifdef TOPPERS_LABEL_ASM


#endif /* TOPPERS_LABEL_ASM */

#include "arm_m_gcc/prc_rename.h"

#endif /* TOPPERS_TARGET_RENAME_H */