Searched refs:ddr_start (Results 1 – 2 of 2) sorted by relevance
413 uint32_t authenticate_image(uint32_t ddr_start, uint32_t image_size) in authenticate_image() argument430 ddr_start); in authenticate_image()439 start = ddr_start; in authenticate_image()443 ivt_offset, ddr_start + ivt_offset); in authenticate_image()445 print_buffer(ddr_start + ivt_offset, in authenticate_image()446 (void *)(ddr_start + ivt_offset), in authenticate_image()450 print_buffer(ddr_start + ivt_offset+IVT_SIZE, in authenticate_image()451 (void *)(ddr_start + ivt_offset+IVT_SIZE), in authenticate_image()
148 uint32_t authenticate_image(uint32_t ddr_start, uint32_t image_size);