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