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

#ifdef _CPU_UNRENAME_H_
#undef _CPU_UNRENAME_H_

#undef activate_r
#undef ret_int
#undef ret_exc
#undef task_intmask
#undef int_intmask

#ifdef LABEL_ASM

#undef _activate_r
#undef _ret_int
#undef _ret_exc
#undef _task_intmask
#undef _int_intmask

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