1*387006b0SJoachim Foerster /* SPDX-License-Identifier: BSD-2-Clause */ 2*387006b0SJoachim Foerster /* 3*387006b0SJoachim Foerster * Copyright (c) 2022, Foundries.io Ltd 4*387006b0SJoachim Foerster * 5*387006b0SJoachim Foerster * Copyright (C) 2023 ProvenRun S.A.S 6*387006b0SJoachim Foerster */ 7*387006b0SJoachim Foerster 8*387006b0SJoachim Foerster #ifndef __DRIVERS_VERSAL_PMC_H 9*387006b0SJoachim Foerster #define __DRIVERS_VERSAL_PMC_H 10*387006b0SJoachim Foerster 11*387006b0SJoachim Foerster #include <drivers/versal_mbox.h> 12*387006b0SJoachim Foerster 13*387006b0SJoachim Foerster TEE_Result versal_pmc_notify(struct versal_ipi_cmd *cmd, 14*387006b0SJoachim Foerster struct versal_ipi_cmd *rsp, uint32_t *err); 15*387006b0SJoachim Foerster 16*387006b0SJoachim Foerster #endif 17