1 /*
2  * Copyright (c) 2023, Advanced Micro Devices Inc.
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef _IPM_XLNX_IPI_H_
8 #define _IPM_XLNX_IPI_H_
9 
10 /* IPI Channel ID bits */
11 #define IPI_CH0_BIT  0
12 #define IPI_CH1_BIT  8
13 #define IPI_CH2_BIT  9
14 #define IPI_CH3_BIT  16
15 #define IPI_CH4_BIT  17
16 #define IPI_CH5_BIT  18
17 #define IPI_CH6_BIT  19
18 #define IPI_CH7_BIT  24
19 #define IPI_CH8_BIT  25
20 #define IPI_CH9_BIT  26
21 #define IPI_CH10_BIT 27
22 
23 /* Register offsets */
24 #define IPI_TRIG 0x00
25 #define IPI_OBS  0x04
26 #define IPI_ISR  0x10
27 #define IPI_IMR  0x14
28 #define IPI_IER  0x18
29 #define IPI_IDR  0x1C
30 
31 #endif /* _IPM_XLNX_IPI_H_ */
32