Searched refs:kernel_symbol_prefix (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/tools/molly/
H A Dbuild_multiboot.c29 static char *kernel_symbol_prefix; variable
85 kernel_symbol_prefix = get_symbol_name_prefix(image);
88 fprintf(o, "extern char %s_start;\n", kernel_symbol_prefix);
89 fprintf(o, "extern char %s_end;\n", kernel_symbol_prefix);
145 kernel_symbol_prefix);
147 kernel_symbol_prefix);
/barrelfish-2018-10-04/tools/arm_molly/
H A Dbuild_multiboot.c24 static char *kernel_symbol_prefix; variable
91 kernel_symbol_prefix = get_symbol_name_prefix(image);
94 fprintf(o, "extern char %s_start;\n", kernel_symbol_prefix);
95 fprintf(o, "extern char %s_end;\n", kernel_symbol_prefix);
173 kernel_symbol_prefix);
175 kernel_symbol_prefix);
190 kernel_symbol_prefix);
192 kernel_symbol_prefix);

Completed in 36 milliseconds