62 	0x00000000,	/* socfpga header */
63 	0x00000000,	/* socfpga header */
64 	0x00000000,	/* socfpga header */
173 /* start_addr is where the socfpga header's start instruction should branch to.
177 	struct socfpga_header *header = buf + 0x40;  in add_socfpga_header()  local
191 		sumendp = &header->v0.checksum[0];  in add_socfpga_header()
193 		sumendp = &header->v1.checksum[0];  in add_socfpga_header()
196 		if (entry < (void*)header) {  in add_socfpga_header()
197 			/* add a trampoline branch inst after end of the header */  in add_socfpga_header()
198 			uint8_t *trampoline = (void*)(header + 1);  in add_socfpga_header()
204 		/* Calculate start address as offset relative to start of header */  in add_socfpga_header()
205 		start_addr = entry - (void*)header;  in add_socfpga_header()
208 	header->validation_word[0] = VALIDATION_WORD & 0xff;  in add_socfpga_header()
209 	header->validation_word[1] = (VALIDATION_WORD >> 8) & 0xff;  in add_socfpga_header()
210 	header->validation_word[2] = (VALIDATION_WORD >> 16) & 0xff;  in add_socfpga_header()
211 	header->validation_word[3] = (VALIDATION_WORD >> 24) & 0xff;  in add_socfpga_header()
212 	header->version = version;  in add_socfpga_header()
213 	header->flags = 0;  in add_socfpga_header()
216 		header->v0.program_length[0] = (size >>  2) & 0xff; /* length in words */  in add_socfpga_header()
217 		header->v0.program_length[1] = (size >> 10) & 0xff;  in add_socfpga_header()
218 		header->v0.spare[0] = 0;  in add_socfpga_header()
219 		header->v0.spare[1] = 0;  in add_socfpga_header()
220 		branch(header->v0.start_vector, entry);  in add_socfpga_header()
222 		header->v1.header_length[0] = (sizeof(*header) >> 0) & 0xff;  in add_socfpga_header()
223 		header->v1.header_length[1] = (sizeof(*header) >> 8) & 0xff;  in add_socfpga_header()
224 		header->v1.program_length[0] = (size >>  0) & 0xff;  in add_socfpga_header()
225 		header->v1.program_length[1] = (size >>  8) & 0xff;  in add_socfpga_header()
226 		header->v1.program_length[2] = (size >> 16) & 0xff;  in add_socfpga_header()
227 		header->v1.program_length[3] = (size >> 24) & 0xff;  in add_socfpga_header()
228 		header->v1.entry_offset[0] = (start_addr >>  0) & 0xff;  in add_socfpga_header()
229 		header->v1.entry_offset[1] = (start_addr >>  8) & 0xff;  in add_socfpga_header()
230 		header->v1.entry_offset[2] = (start_addr >> 16) & 0xff;  in add_socfpga_header()
231 		header->v1.entry_offset[3] = (start_addr >> 24) & 0xff;  in add_socfpga_header()
232 		header->v1.spare[0] = 0;  in add_socfpga_header()
233 		header->v1.spare[1] = 0;  in add_socfpga_header()
236 	/* Sum from beginning of header to start of checksum field */  in add_socfpga_header()
238 	for (bufp = (uint8_t*)header; bufp < sumendp; bufp++)  in add_socfpga_header()
242 		header->v0.checksum[0] = checksum & 0xff;;  in add_socfpga_header()
243 		header->v0.checksum[1] = (checksum >> 8) & 0xff;;  in add_socfpga_header()
245 		header->v1.checksum[0] = checksum & 0xff;;  in add_socfpga_header()
246 		header->v1.checksum[1] = (checksum >> 8) & 0xff;;  in add_socfpga_header()