Searched refs:module_symbol_prefix (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/tools/molly/ |
| H A D | build_multiboot.c | 31 static char *module_symbol_prefix[MAX_MODULES]; variable
93 module_symbol_prefix[n_modules] = get_symbol_name_prefix(image);
96 fprintf(o, "extern char %s_start;\n", module_symbol_prefix[n_modules]);
97 fprintf(o, "extern char %s_end;\n", module_symbol_prefix[n_modules]);
153 i+1, module_symbol_prefix[i]);
155 i+1, module_symbol_prefix[i]);
|
| /barrelfish-2018-10-04/tools/arm_molly/ |
| H A D | build_multiboot.c | 26 static char *module_symbol_prefix[MAX_MODULES]; variable
98 module_symbol_prefix[n_modules] = get_symbol_name_prefix(image);
101 fprintf(o, "extern char %s_start;\n", module_symbol_prefix[n_modules]);
102 fprintf(o, "extern char %s_end;\n", module_symbol_prefix[n_modules]);
181 i+1, module_symbol_prefix[i]);
183 i+1, module_symbol_prefix[i]);
198 i+1, module_symbol_prefix[i]);
200 i+1, module_symbol_prefix[i]);
|
Completed in 39 milliseconds