/* 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_ */
