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 | * gic_config.c
|
---|
8 | */
|
---|
9 | #define gicc_initialize _kernel_gicc_initialize
|
---|
10 | #define gicc_terminate _kernel_gicc_terminate
|
---|
11 | #define gicd_initialize _kernel_gicd_initialize
|
---|
12 | #define gicd_terminate _kernel_gicd_terminate
|
---|
13 |
|
---|
14 | /*
|
---|
15 | * gic_support.S
|
---|
16 | */
|
---|
17 | #define gic_exc_entry _kernel_gic_exc_entry
|
---|
18 | #define gic_int_entry _kernel_gic_int_entry
|
---|
19 |
|
---|
20 | /*
|
---|
21 | * prc_config.c
|
---|
22 | */
|
---|
23 | #define intnest _kernel_intnest
|
---|
24 | #define prc_initialize _kernel_prc_initialize
|
---|
25 | #define prc_terminate _kernel_prc_terminate
|
---|
26 | #define x_config_int _kernel_x_config_int
|
---|
27 | #define default_exc_handler _kernel_default_exc_handler
|
---|
28 | #define default_int_handler _kernel_default_int_handler
|
---|
29 | #define call_int_handler _kernel_call_int_handler
|
---|
30 | #define call_exc_handler _kernel_call_exc_handler
|
---|
31 |
|
---|
32 | /*
|
---|
33 | * prc_support.S
|
---|
34 | */
|
---|
35 | #define start_dispatch _kernel_start_dispatch
|
---|
36 | #define call_exit_kernel _kernel_call_exit_kernel
|
---|
37 | #define ret_int _kernel_ret_int
|
---|
38 | #define vectors _kernel_vectors
|
---|
39 |
|
---|
40 | /*
|
---|
41 | * kernel_cfg.c
|
---|
42 | */
|
---|
43 | #define intcfg_table _kernel_intcfg_table
|
---|
44 | #define inh_table _kernel_inh_table
|
---|
45 | #define exc_table _kernel_exc_table
|
---|
46 |
|
---|
47 | #ifdef TOPPERS_LABEL_ASM
|
---|
48 |
|
---|
49 | /*
|
---|
50 | * gic_config.c
|
---|
51 | */
|
---|
52 | #define _gicc_initialize __kernel_gicc_initialize
|
---|
53 | #define _gicc_terminate __kernel_gicc_terminate
|
---|
54 | #define _gicd_initialize __kernel_gicd_initialize
|
---|
55 | #define _gicd_terminate __kernel_gicd_terminate
|
---|
56 |
|
---|
57 | /*
|
---|
58 | * gic_support.S
|
---|
59 | */
|
---|
60 | #define _gic_exc_entry __kernel_gic_exc_entry
|
---|
61 | #define _gic_int_entry __kernel_gic_int_entry
|
---|
62 |
|
---|
63 | /*
|
---|
64 | * prc_config.c
|
---|
65 | */
|
---|
66 | #define _intnest __kernel_intnest
|
---|
67 | #define _prc_initialize __kernel_prc_initialize
|
---|
68 | #define _prc_terminate __kernel_prc_terminate
|
---|
69 | #define _x_config_int __kernel_x_config_int
|
---|
70 | #define _default_exc_handler __kernel_default_exc_handler
|
---|
71 | #define _default_int_handler __kernel_default_int_handler
|
---|
72 | #define _call_int_handler __kernel_call_int_handler
|
---|
73 | #define _call_exc_handler __kernel_call_exc_handler
|
---|
74 |
|
---|
75 | /*
|
---|
76 | * prc_support.S
|
---|
77 | */
|
---|
78 | #define _start_dispatch __kernel_start_dispatch
|
---|
79 | #define _call_exit_kernel __kernel_call_exit_kernel
|
---|
80 | #define _ret_int __kernel_ret_int
|
---|
81 | #define _vectors __kernel_vectors
|
---|
82 |
|
---|
83 | /*
|
---|
84 | * kernel_cfg.c
|
---|
85 | */
|
---|
86 | #define _intcfg_table __kernel_intcfg_table
|
---|
87 | #define _inh_table __kernel_inh_table
|
---|
88 | #define _exc_table __kernel_exc_table
|
---|
89 |
|
---|
90 | #endif /* TOPPERS_LABEL_ASM */
|
---|
91 |
|
---|
92 |
|
---|
93 | #endif /* TOPPERS_PRC_RENAME_H */
|
---|