Searched refs:file_header_t (Results 1 – 2 of 2) sorted by relevance
260 file_header_t *file_hdr; in split_and_load_bl2_image()265 file_hdr = (file_header_t *)image; in split_and_load_bl2_image()277 img_hdr = (img_header_t *)((uintptr_t)image + sizeof(file_header_t)); in split_and_load_bl2_image()278 single_img = (uintptr_t)image + sizeof(file_header_t) + in split_and_load_bl2_image()
22 } file_header_t; typedef