Searched refs:paged_image_info (Results 1 – 2 of 2) sorted by relevance
138 image_info_t *paged_image_info) in parse_optee_header() argument192 ret = parse_optee_image(paged_image_info, in parse_optee_header()215 header_ep->args.arg1 = paged_image_info->image_base; in parse_optee_header()216 header_ep->args.arg2 = paged_image_info->image_size; in parse_optee_header()
14 image_info_t *paged_image_info);