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