Home
last modified time | relevance | path

Searched refs:file_header_t (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a/plat/marvell/armada/common/mss/
A Dmss_scp_bootloader.c309 file_header_t *file_hdr; in split_and_load_bl2_image()
314 file_hdr = (file_header_t *)image; in split_and_load_bl2_image()
326 img_hdr = (img_header_t *)((uintptr_t)image + sizeof(file_header_t)); in split_and_load_bl2_image()
327 single_img = (uintptr_t)image + sizeof(file_header_t) + in split_and_load_bl2_image()
A Dmss_scp_bl2_format.h23 } file_header_t; typedef

Completed in 3 milliseconds