Searched refs:paged_image_info (Results 1 – 2 of 2) sorted by relevance
133 image_info_t *paged_image_info) in parse_optee_header() argument184 ret = parse_optee_image(paged_image_info, in parse_optee_header()207 header_ep->args.arg1 = paged_image_info->image_base; in parse_optee_header()208 header_ep->args.arg2 = paged_image_info->image_size; in parse_optee_header()
13 image_info_t *paged_image_info);