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