1 /* This file is generated from cpu_rename.def by genrename. */
3 #ifdef _CPU_UNRENAME_H_
4 #undef _CPU_UNRENAME_H_
10 #undef device_dispatcher
11 #undef interrupt_dispatcher
25 #undef enable_boot_for_gdb
34 #undef _device_dispatcher
35 #undef _interrupt_dispatcher
49 #undef _enable_boot_for_gdb
52 #endif /* LABEL_ASM */
53 #endif /* _CPU_UNRENAME_H_ */