--- /dev/null
+/* This file is generated from cpu_rename.def by genrename. */
+
+#ifdef _CPU_UNRENAME_H_
+#undef _CPU_UNRENAME_H_
+
+#ifndef OMIT_RENAME
+
+#undef activate_r
+#undef ret_int
+#undef ret_exc
+#undef interrupt_count
+#undef arm_vector_add
+#undef arm_handler_add
+#undef int_stack
+
+#ifdef LABEL_ASM
+
+#undef _activate_r
+#undef _ret_int
+#undef _ret_exc
+#undef _interrupt_count
+#undef _arm_vector_add
+#undef _arm_handler_add
+#undef _int_stack
+
+#endif /* LABEL_ASM */
+#endif /* OMIT_RENAME */
+#endif /* _CPU_UNRENAME_H_ */