1 /* 2 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 /* ZynqMP IPI management enums and defines */ 8 9 #ifndef PLAT_IPI_H 10 #define PLAT_IPI_H 11 12 #include <stdint.h> 13 #include <ipi.h> 14 15 /********************************************************************* 16 * IPI agent IDs macros 17 ********************************************************************/ 18 #define IPI_ID_APU 0U 19 #define IPI_ID_RPU0 1U 20 #define IPI_ID_RPU1 2U 21 #define IPI_ID_PMU0 3U 22 #define IPI_ID_PMU1 4U 23 #define IPI_ID_PMU2 5U 24 #define IPI_ID_PMU3 6U 25 #define IPI_ID_PL0 7U 26 #define IPI_ID_PL1 8U 27 #define IPI_ID_PL2 9U 28 #define IPI_ID_PL3 10U 29 30 /********************************************************************* 31 * Platform specific IPI API declarations 32 ********************************************************************/ 33 34 /* Configure IPI table for zynqmp */ 35 void zynqmp_ipi_config_table_init(void); 36 37 #endif /* PLAT_IPI_H */ 38