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

#ifdef _CPU_RENAME_H_
#undef _CPU_RENAME_H_

#undef task_intmask

#undef int_intmask

#undef intnest

#undef InterruptHandlerEntry

#undef cpu_experr


#ifdef LABEL_ASM

#undef _task_intmask

#undef _int_intmask

#undef _intnest

#undef _InterruptHandlerEntry

#undef _cpu_experr


#endif /* LABEL_ASM */
#endif /* _CPU_RENAME_H_ */
