1 /* This file is generated from prc_rename.def by genrename. */
3 /* This file is included only when prc_rename.h has been included. */
4 #ifdef TOPPERS_PRC_RENAME_H
5 #undef TOPPERS_PRC_RENAME_H
18 #undef exit_and_dispatch
19 #undef call_exit_kernel
26 #ifdef TOPPERS_LABEL_ASM
31 #undef _prc_initialize
38 #undef _start_dispatch
39 #undef _exit_and_dispatch
40 #undef _call_exit_kernel
47 #endif /* TOPPERS_LABEL_ASM */
50 #endif /* TOPPERS_PRC_RENAME_H */