1 /*
2  * Copyright 2023-2024 NXP
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef IMX_PLAT_COMMON_H
8 #define IMX_PLAT_COMMON_H
9 
10 #include <stdint.h>
11 
12 #include <arch_helpers.h>
13 
14 uint32_t plat_get_spsr_for_bl33_entry(void);
15 
16 #endif /*IMX_PLAT_COMMON_H */
17