1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (C) 2022 Foundries.io Ltd
4  */
5 
6 #ifndef __DRIVERS_VERSAL_PM_H__
7 #define __DRIVERS_VERSAL_PM_H__
8 
9 #include <tee_api_types.h>
10 #include <types_ext.h>
11 
12 TEE_Result versal_soc_version(uint8_t *version);
13 TEE_Result versal_write_fpga(paddr_t pa);
14 
15 #endif /*__DRIVERS_VERSAL_PM_H__*/
16