Lines Matching defs:header

88 static inline int is_valid_header(fip_toc_header_t *header)
90 	if ((header->name == TOC_HEADER_NAME) && (header->serial_number != 0)) {
221 	fip_toc_header_t header;
248 	result = io_read(backend_handle, (uintptr_t)&header, sizeof(header),
251 		if (!is_valid_header(&header)) {
252 			WARN("Firmware Image Package header check failed.\n");
255 			VERBOSE("FIP header looks OK.\n");
258 			 * bits [32-47] in fip header.
260 			state->plat_toc_flag = (header.flags >> 32) & 0xffff;
298 	 * track state like file cursor position. We know the header lives at
317 	/* Seek past the FIP header into the Table of Contents */