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