1 | /* This file is generated from prc_rename.def by genrename. */
|
---|
2 |
|
---|
3 | #ifndef TOPPERS_PRC_RENAME_H
|
---|
4 | #define TOPPERS_PRC_RENAME_H
|
---|
5 |
|
---|
6 | /*
|
---|
7 | * prc_config.c
|
---|
8 | */
|
---|
9 | #define intnest _kernel_intnest
|
---|
10 | #define lock_flag _kernel_lock_flag
|
---|
11 | #define saved_ipl _kernel_saved_ipl
|
---|
12 | #define start_dispatch _kernel_start_dispatch
|
---|
13 | #define prc_initialize _kernel_prc_initialize
|
---|
14 | #define prc_terminate _kernel_prc_terminate
|
---|
15 | #define call_exit_kernel _kernel_call_exit_kernel
|
---|
16 | #define x_config_int _kernel_x_config_int
|
---|
17 | #define interrupt_dispatch _kernel_interrupt_dispatch
|
---|
18 | #define intc_reg _kernel_intc_reg
|
---|
19 |
|
---|
20 | /*
|
---|
21 | * kernel_cfg.c
|
---|
22 | */
|
---|
23 | #define intpri_table _kernel_intpri_table
|
---|
24 |
|
---|
25 | #ifdef TOPPERS_LABEL_ASM
|
---|
26 |
|
---|
27 | /*
|
---|
28 | * prc_config.c
|
---|
29 | */
|
---|
30 | #define _intnest __kernel_intnest
|
---|
31 | #define _lock_flag __kernel_lock_flag
|
---|
32 | #define _saved_ipl __kernel_saved_ipl
|
---|
33 | #define _start_dispatch __kernel_start_dispatch
|
---|
34 | #define _prc_initialize __kernel_prc_initialize
|
---|
35 | #define _prc_terminate __kernel_prc_terminate
|
---|
36 | #define _call_exit_kernel __kernel_call_exit_kernel
|
---|
37 | #define _x_config_int __kernel_x_config_int
|
---|
38 | #define _interrupt_dispatch __kernel_interrupt_dispatch
|
---|
39 | #define _intc_reg __kernel_intc_reg
|
---|
40 |
|
---|
41 |
|
---|
42 | /*
|
---|
43 | * kernel_cfg.c
|
---|
44 | */
|
---|
45 | #define _intpri_table __kernel_intpri_table
|
---|
46 |
|
---|
47 | #endif /* TOPPERS_LABEL_ASM */
|
---|
48 |
|
---|
49 |
|
---|
50 | #endif /* TOPPERS_PRC_RENAME_H */
|
---|