8 static void BITSFUNC(copy)(FILE *outfile, const unsigned char *data, size_t len)  in BITSFUNC()
14 			fprintf(outfile, "\n\t");  in BITSFUNC()
15 		fprintf(outfile, "0x%02X, ", (int)(data)[i]);  in BITSFUNC()
27 			      FILE *outfile, ELF(Shdr) *sec, const char *name)  in BITSFUNC()
38 	fprintf(outfile, "static const unsigned char %s[%zu] = {", name, len);  in BITSFUNC()
39 	BITSFUNC(copy)(outfile, data + offset, len);  in BITSFUNC()
40 	fprintf(outfile, "\n};\n\n");  in BITSFUNC()
45 			 FILE *outfile, const char *image_name)  in BITSFUNC()
174 		fwrite(stripped_addr, stripped_len, 1, outfile);  in BITSFUNC()
180 	fprintf(outfile, "/* AUTOMATICALLY GENERATED -- DO NOT EDIT */\n\n");  in BITSFUNC()
181 	fprintf(outfile, "#include <linux/linkage.h>\n");  in BITSFUNC()
182 	fprintf(outfile, "#include <linux/init.h>\n");  in BITSFUNC()
183 	fprintf(outfile, "#include <asm/page_types.h>\n");  in BITSFUNC()
184 	fprintf(outfile, "#include <asm/vdso.h>\n");  in BITSFUNC()
185 	fprintf(outfile, "\n");  in BITSFUNC()
186 	fprintf(outfile,  in BITSFUNC()
191 			fprintf(outfile, "\n\t");  in BITSFUNC()
192 		fprintf(outfile, "0x%02X, ",  in BITSFUNC()
195 	fprintf(outfile, "\n};\n\n");  in BITSFUNC()
197 		BITSFUNC(extract)(raw_addr, raw_len, outfile,  in BITSFUNC()
200 	fprintf(outfile, "const struct vdso_image %s = {\n", image_name);  in BITSFUNC()
201 	fprintf(outfile, "\t.data = raw_data,\n");  in BITSFUNC()
202 	fprintf(outfile, "\t.size = %lu,\n", mapping_size);  in BITSFUNC()
204 		fprintf(outfile, "\t.alt = %lu,\n",  in BITSFUNC()
206 		fprintf(outfile, "\t.alt_len = %lu,\n",  in BITSFUNC()
210 		fprintf(outfile, "\t.extable_base = %lu,\n",  in BITSFUNC()
212 		fprintf(outfile, "\t.extable_len = %lu,\n",  in BITSFUNC()
214 		fprintf(outfile, "\t.extable = extable,\n");  in BITSFUNC()
219 			fprintf(outfile, "\t.sym_%s = %" PRIi64 ",\n",  in BITSFUNC()
222 	fprintf(outfile, "};\n\n");  in BITSFUNC()
223 	fprintf(outfile, "static __init int init_%s(void) {\n", image_name);  in BITSFUNC()
224 	fprintf(outfile, "\treturn init_vdso_image(&%s);\n", image_name);  in BITSFUNC()
225 	fprintf(outfile, "};\n");  in BITSFUNC()
226 	fprintf(outfile, "subsys_initcall(init_%s);\n", image_name);  in BITSFUNC()