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

#ifdef _CPU_UNRENAME_H_
#undef _CPU_UNRENAME_H_

#undef activate_r
#undef dispatch
#undef dev_vector
#undef exc_vector
#undef device_dispatcher
#undef interrupt_dispatcher
#undef task_context



#ifdef LABEL_ASM

#undef _activate_r
#undef _dispatch
#undef _dev_vector
#undef _exc_vector
#undef _device_dispatcher
#undef _interrupt_dispatcher
#undef _task_context



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