1 /* 2 * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 #ifndef __OPTEE_UTILS_H__ 7 #define __OPTEE_UTILS_H__ 8 9 #include <bl_common.h> 10 11 int parse_optee_header(entry_point_info_t *header_ep, 12 image_info_t *pager_image_info, 13 image_info_t *paged_image_info); 14 15 #endif /* __OPTEE_UTILS_H__ */ 16