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

#ifdef _CPU_UNRENAME_H_
#undef _CPU_UNRENAME_H_

#undef activate_r
#undef ret_main
#undef ret_int
#undef ret_exc
#undef task_intmask
#undef int_intmask
#undef intnest

#undef no_reg_exception
#undef cpu_putc

#ifdef LABEL_ASM

#undef _activate_r
#undef _ret_main
#undef _ret_int
#undef _ret_exc
#undef _task_intmask
#undef _int_intmask
#undef _intnest

#undef _no_reg_exception
#undef _cpu_putc

#endif /* LABEL_ASM */
#endif /* _CPU_UNRENAME_H_ */