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