[353] | 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 */
|
---|