25 |
* SUCH DAMAGE. |
* SUCH DAMAGE. |
26 |
* |
* |
27 |
* |
* |
28 |
* $Id: generate_tail.c,v 1.15 2007/02/02 17:44:04 debug Exp $ |
* $Id: generate_tail.c,v 1.16 2007/06/07 15:36:24 debug Exp $ |
29 |
*/ |
*/ |
30 |
|
|
31 |
#include <stdio.h> |
#include <stdio.h> |
84 |
printf("#include \"cpu_dyntrans.c\"\n"); |
printf("#include \"cpu_dyntrans.c\"\n"); |
85 |
printf("#undef DYNTRANS_INIT_TABLES\n\n"); |
printf("#undef DYNTRANS_INIT_TABLES\n\n"); |
86 |
|
|
87 |
|
printf("#define DYNTRANS_TIMER_SAMPLE_TICK " |
88 |
|
"%s_timer_sample_tick\n", a); |
89 |
|
printf("#include \"cpu_dyntrans.c\"\n"); |
90 |
|
printf("#undef DYNTRANS_TIMER_SAMPLE_TICK\n\n"); |
91 |
|
|
92 |
printf("#define DYNTRANS_TC_ALLOCATE_DEFAULT_PAGE " |
printf("#define DYNTRANS_TC_ALLOCATE_DEFAULT_PAGE " |
93 |
"%s_tc_allocate_default_page\n", a); |
"%s_tc_allocate_default_page\n", a); |
94 |
printf("#include \"cpu_dyntrans.c\"\n"); |
printf("#include \"cpu_dyntrans.c\"\n"); |