xref: /rk3399_ARM-atf/include/drivers/arm/gicv3.h (revision ebf1ca10e466f39c45fa4ae4043fd53487d32362)
1df373737SAchin Gupta /*
2*ebf1ca10SSoby Mathew  * Copyright (c) 2015-2017, ARM Limited and Contributors. All rights reserved.
3df373737SAchin Gupta  *
482cb2c1aSdp-arm  * SPDX-License-Identifier: BSD-3-Clause
5df373737SAchin Gupta  */
6df373737SAchin Gupta 
7df373737SAchin Gupta #ifndef __GICV3_H__
8df373737SAchin Gupta #define __GICV3_H__
9df373737SAchin Gupta 
10*ebf1ca10SSoby Mathew #include "utils_def.h"
11*ebf1ca10SSoby Mathew 
12df373737SAchin Gupta /*******************************************************************************
13df373737SAchin Gupta  * GICv3 miscellaneous definitions
14df373737SAchin Gupta  ******************************************************************************/
15df373737SAchin Gupta /* Interrupt group definitions */
1603ffb6bdSSoby Mathew #define INTR_GROUP1S		0
1703ffb6bdSSoby Mathew #define INTR_GROUP0		1
1803ffb6bdSSoby Mathew #define INTR_GROUP1NS		2
19df373737SAchin Gupta 
20df373737SAchin Gupta /* Interrupt IDs reported by the HPPIR and IAR registers */
21df373737SAchin Gupta #define PENDING_G1S_INTID	1020
22df373737SAchin Gupta #define PENDING_G1NS_INTID	1021
23df373737SAchin Gupta 
24df373737SAchin Gupta /* Constant to categorize LPI interrupt */
25df373737SAchin Gupta #define MIN_LPI_ID		8192
26df373737SAchin Gupta 
27df373737SAchin Gupta /*******************************************************************************
28df373737SAchin Gupta  * GICv3 specific Distributor interface register offsets and constants.
29df373737SAchin Gupta  ******************************************************************************/
30df373737SAchin Gupta #define GICD_STATUSR		0x10
31df373737SAchin Gupta #define GICD_SETSPI_NSR		0x40
32df373737SAchin Gupta #define GICD_CLRSPI_NSR		0x48
33df373737SAchin Gupta #define GICD_SETSPI_SR		0x50
34df373737SAchin Gupta #define GICD_CLRSPI_SR		0x50
35df373737SAchin Gupta #define GICD_IGRPMODR		0xd00
3661e30277SSoby Mathew /*
3761e30277SSoby Mathew  * GICD_IROUTER<n> register is at 0x6000 + 8n, where n is the interrupt id and
3861e30277SSoby Mathew  * n >= 32, making the effective offset as 0x6100.
3961e30277SSoby Mathew  */
4061e30277SSoby Mathew #define GICD_IROUTER		0x6000
41df373737SAchin Gupta #define GICD_PIDR2_GICV3	0xffe8
42df373737SAchin Gupta 
43df373737SAchin Gupta #define IGRPMODR_SHIFT		5
44df373737SAchin Gupta 
45df373737SAchin Gupta /* GICD_CTLR bit definitions */
46df373737SAchin Gupta #define CTLR_ENABLE_G1NS_SHIFT		1
47df373737SAchin Gupta #define CTLR_ENABLE_G1S_SHIFT		2
48df373737SAchin Gupta #define CTLR_ARE_S_SHIFT		4
49df373737SAchin Gupta #define CTLR_ARE_NS_SHIFT		5
50df373737SAchin Gupta #define CTLR_DS_SHIFT			6
51df373737SAchin Gupta #define CTLR_E1NWF_SHIFT		7
52df373737SAchin Gupta #define GICD_CTLR_RWP_SHIFT		31
53df373737SAchin Gupta 
54df373737SAchin Gupta #define CTLR_ENABLE_G1NS_MASK		0x1
55df373737SAchin Gupta #define CTLR_ENABLE_G1S_MASK		0x1
56df373737SAchin Gupta #define CTLR_ARE_S_MASK			0x1
57df373737SAchin Gupta #define CTLR_ARE_NS_MASK		0x1
58df373737SAchin Gupta #define CTLR_DS_MASK			0x1
59df373737SAchin Gupta #define CTLR_E1NWF_MASK			0x1
60df373737SAchin Gupta #define GICD_CTLR_RWP_MASK		0x1
61df373737SAchin Gupta 
62df373737SAchin Gupta #define CTLR_ENABLE_G1NS_BIT		(1 << CTLR_ENABLE_G1NS_SHIFT)
63df373737SAchin Gupta #define CTLR_ENABLE_G1S_BIT		(1 << CTLR_ENABLE_G1S_SHIFT)
64df373737SAchin Gupta #define CTLR_ARE_S_BIT			(1 << CTLR_ARE_S_SHIFT)
65df373737SAchin Gupta #define CTLR_ARE_NS_BIT			(1 << CTLR_ARE_NS_SHIFT)
66df373737SAchin Gupta #define CTLR_DS_BIT			(1 << CTLR_DS_SHIFT)
67df373737SAchin Gupta #define CTLR_E1NWF_BIT			(1 << CTLR_E1NWF_SHIFT)
68df373737SAchin Gupta #define GICD_CTLR_RWP_BIT		(1 << GICD_CTLR_RWP_SHIFT)
69df373737SAchin Gupta 
70df373737SAchin Gupta /* GICD_IROUTER shifts and masks */
71*ebf1ca10SSoby Mathew #define IROUTER_SHIFT		0
72df373737SAchin Gupta #define IROUTER_IRM_SHIFT	31
73df373737SAchin Gupta #define IROUTER_IRM_MASK	0x1
74df373737SAchin Gupta 
75*ebf1ca10SSoby Mathew #define NUM_OF_DIST_REGS	30
76*ebf1ca10SSoby Mathew 
77df373737SAchin Gupta /*******************************************************************************
78df373737SAchin Gupta  * GICv3 Re-distributor interface registers & constants
79df373737SAchin Gupta  ******************************************************************************/
80df373737SAchin Gupta #define GICR_PCPUBASE_SHIFT	0x11
81df373737SAchin Gupta #define GICR_SGIBASE_OFFSET	(1 << 0x10)	/* 64 KB */
82df373737SAchin Gupta #define GICR_CTLR		0x0
83df373737SAchin Gupta #define GICR_TYPER		0x08
84df373737SAchin Gupta #define GICR_WAKER		0x14
85*ebf1ca10SSoby Mathew #define GICR_PROPBASER		0x70
86*ebf1ca10SSoby Mathew #define GICR_PENDBASER		0x78
87df373737SAchin Gupta #define GICR_IGROUPR0		(GICR_SGIBASE_OFFSET + 0x80)
88df373737SAchin Gupta #define GICR_ISENABLER0		(GICR_SGIBASE_OFFSET + 0x100)
89df373737SAchin Gupta #define GICR_ICENABLER0		(GICR_SGIBASE_OFFSET + 0x180)
90*ebf1ca10SSoby Mathew #define GICR_ISPENDR0		(GICR_SGIBASE_OFFSET + 0x200)
91*ebf1ca10SSoby Mathew #define GICR_ICPENDR0		(GICR_SGIBASE_OFFSET + 0x280)
92*ebf1ca10SSoby Mathew #define GICR_ISACTIVER0		(GICR_SGIBASE_OFFSET + 0x300)
93*ebf1ca10SSoby Mathew #define GICR_ICACTIVER0		(GICR_SGIBASE_OFFSET + 0x380)
94df373737SAchin Gupta #define GICR_IPRIORITYR		(GICR_SGIBASE_OFFSET + 0x400)
95df373737SAchin Gupta #define GICR_ICFGR0		(GICR_SGIBASE_OFFSET + 0xc00)
96df373737SAchin Gupta #define GICR_ICFGR1		(GICR_SGIBASE_OFFSET + 0xc04)
97df373737SAchin Gupta #define GICR_IGRPMODR0		(GICR_SGIBASE_OFFSET + 0xd00)
98*ebf1ca10SSoby Mathew #define GICR_NSACR		(GICR_SGIBASE_OFFSET + 0xe00)
99df373737SAchin Gupta 
100df373737SAchin Gupta /* GICR_CTLR bit definitions */
101*ebf1ca10SSoby Mathew #define GICR_CTLR_UWP_SHIFT	31
102*ebf1ca10SSoby Mathew #define GICR_CTLR_UWP_MASK	0x1
103*ebf1ca10SSoby Mathew #define GICR_CTLR_UWP_BIT	(1U << GICR_CTLR_UWP_SHIFT)
104df373737SAchin Gupta #define GICR_CTLR_RWP_SHIFT	3
105df373737SAchin Gupta #define GICR_CTLR_RWP_MASK	0x1
106*ebf1ca10SSoby Mathew #define GICR_CTLR_RWP_BIT	(1U << GICR_CTLR_RWP_SHIFT)
107*ebf1ca10SSoby Mathew #define GICR_CTLR_EN_LPIS_BIT	(1U << 0)
108df373737SAchin Gupta 
109df373737SAchin Gupta /* GICR_WAKER bit definitions */
110df373737SAchin Gupta #define WAKER_CA_SHIFT		2
111df373737SAchin Gupta #define WAKER_PS_SHIFT		1
112df373737SAchin Gupta 
113df373737SAchin Gupta #define WAKER_CA_MASK		0x1
114df373737SAchin Gupta #define WAKER_PS_MASK		0x1
115df373737SAchin Gupta 
116df373737SAchin Gupta #define WAKER_CA_BIT		(1 << WAKER_CA_SHIFT)
117df373737SAchin Gupta #define WAKER_PS_BIT		(1 << WAKER_PS_SHIFT)
118df373737SAchin Gupta 
119df373737SAchin Gupta /* GICR_TYPER bit definitions */
120df373737SAchin Gupta #define TYPER_AFF_VAL_SHIFT	32
121df373737SAchin Gupta #define TYPER_PROC_NUM_SHIFT	8
122df373737SAchin Gupta #define TYPER_LAST_SHIFT	4
123df373737SAchin Gupta 
124df373737SAchin Gupta #define TYPER_AFF_VAL_MASK	0xffffffff
125df373737SAchin Gupta #define TYPER_PROC_NUM_MASK	0xffff
126df373737SAchin Gupta #define TYPER_LAST_MASK		0x1
127df373737SAchin Gupta 
128df373737SAchin Gupta #define TYPER_LAST_BIT		(1 << TYPER_LAST_SHIFT)
129df373737SAchin Gupta 
130*ebf1ca10SSoby Mathew #define NUM_OF_REDIST_REGS	30
131*ebf1ca10SSoby Mathew 
132df373737SAchin Gupta /*******************************************************************************
133df373737SAchin Gupta  * GICv3 CPU interface registers & constants
134df373737SAchin Gupta  ******************************************************************************/
135df373737SAchin Gupta /* ICC_SRE bit definitions*/
136df373737SAchin Gupta #define ICC_SRE_EN_BIT		(1 << 3)
137df373737SAchin Gupta #define ICC_SRE_DIB_BIT		(1 << 2)
138df373737SAchin Gupta #define ICC_SRE_DFB_BIT		(1 << 1)
139df373737SAchin Gupta #define ICC_SRE_SRE_BIT		(1 << 0)
140df373737SAchin Gupta 
141df373737SAchin Gupta /* ICC_IGRPEN1_EL3 bit definitions */
142df373737SAchin Gupta #define IGRPEN1_EL3_ENABLE_G1NS_SHIFT	0
143df373737SAchin Gupta #define IGRPEN1_EL3_ENABLE_G1S_SHIFT	1
144df373737SAchin Gupta 
145df373737SAchin Gupta #define IGRPEN1_EL3_ENABLE_G1NS_BIT	(1 << IGRPEN1_EL3_ENABLE_G1NS_SHIFT)
146df373737SAchin Gupta #define IGRPEN1_EL3_ENABLE_G1S_BIT	(1 << IGRPEN1_EL3_ENABLE_G1S_SHIFT)
147df373737SAchin Gupta 
148df373737SAchin Gupta /* ICC_IGRPEN0_EL1 bit definitions */
149df373737SAchin Gupta #define IGRPEN1_EL1_ENABLE_G0_SHIFT	0
150df373737SAchin Gupta #define IGRPEN1_EL1_ENABLE_G0_BIT	(1 << IGRPEN1_EL1_ENABLE_G0_SHIFT)
151df373737SAchin Gupta 
152df373737SAchin Gupta /* ICC_HPPIR0_EL1 bit definitions */
153df373737SAchin Gupta #define HPPIR0_EL1_INTID_SHIFT		0
154df373737SAchin Gupta #define HPPIR0_EL1_INTID_MASK		0xffffff
155df373737SAchin Gupta 
156df373737SAchin Gupta /* ICC_HPPIR1_EL1 bit definitions */
157df373737SAchin Gupta #define HPPIR1_EL1_INTID_SHIFT		0
158df373737SAchin Gupta #define HPPIR1_EL1_INTID_MASK		0xffffff
159df373737SAchin Gupta 
160df373737SAchin Gupta /* ICC_IAR0_EL1 bit definitions */
161df373737SAchin Gupta #define IAR0_EL1_INTID_SHIFT		0
162df373737SAchin Gupta #define IAR0_EL1_INTID_MASK		0xffffff
163df373737SAchin Gupta 
164df373737SAchin Gupta /* ICC_IAR1_EL1 bit definitions */
165df373737SAchin Gupta #define IAR1_EL1_INTID_SHIFT		0
166df373737SAchin Gupta #define IAR1_EL1_INTID_MASK		0xffffff
167df373737SAchin Gupta 
168df373737SAchin Gupta #ifndef __ASSEMBLY__
169df373737SAchin Gupta 
170*ebf1ca10SSoby Mathew #include <gic_common.h>
171df373737SAchin Gupta #include <stdint.h>
1724c0d0390SSoby Mathew #include <types.h>
173*ebf1ca10SSoby Mathew #include <utils_def.h>
174df373737SAchin Gupta 
175df373737SAchin Gupta #define gicv3_is_intr_id_special_identifier(id)	\
176df373737SAchin Gupta 	(((id) >= PENDING_G1S_INTID) && ((id) <= GIC_SPURIOUS_INTERRUPT))
177df373737SAchin Gupta 
178df373737SAchin Gupta /*******************************************************************************
179df373737SAchin Gupta  * Helper GICv3 macros for SEL1
180df373737SAchin Gupta  ******************************************************************************/
181df373737SAchin Gupta #define gicv3_acknowledge_interrupt_sel1()	read_icc_iar1_el1() &\
182df373737SAchin Gupta 							IAR1_EL1_INTID_MASK
183df373737SAchin Gupta #define gicv3_get_pending_interrupt_id_sel1()	read_icc_hppir1_el1() &\
184df373737SAchin Gupta 							HPPIR1_EL1_INTID_MASK
185df373737SAchin Gupta #define gicv3_end_of_interrupt_sel1(id)		write_icc_eoir1_el1(id)
186df373737SAchin Gupta 
187df373737SAchin Gupta 
188df373737SAchin Gupta /*******************************************************************************
189df373737SAchin Gupta  * Helper GICv3 macros for EL3
190df373737SAchin Gupta  ******************************************************************************/
191df373737SAchin Gupta #define gicv3_acknowledge_interrupt()		read_icc_iar0_el1() &\
192df373737SAchin Gupta 							IAR0_EL1_INTID_MASK
193df373737SAchin Gupta #define gicv3_end_of_interrupt(id)		write_icc_eoir0_el1(id)
194df373737SAchin Gupta 
195*ebf1ca10SSoby Mathew /*
196*ebf1ca10SSoby Mathew  * This macro returns the total number of GICD registers corresponding to
197*ebf1ca10SSoby Mathew  * the name.
198*ebf1ca10SSoby Mathew  */
199*ebf1ca10SSoby Mathew #define GICD_NUM_REGS(reg_name)	\
200*ebf1ca10SSoby Mathew 	DIV_ROUND_UP_2EVAL(TOTAL_SPI_INTR_NUM, (1 << reg_name ## _SHIFT))
201*ebf1ca10SSoby Mathew 
202*ebf1ca10SSoby Mathew #define GICR_NUM_REGS(reg_name)	\
203*ebf1ca10SSoby Mathew 	DIV_ROUND_UP_2EVAL(TOTAL_PCPU_INTR_NUM, (1 << reg_name ## _SHIFT))
204*ebf1ca10SSoby Mathew 
205df373737SAchin Gupta /*******************************************************************************
206df373737SAchin Gupta  * This structure describes some of the implementation defined attributes of the
207df373737SAchin Gupta  * GICv3 IP. It is used by the platform port to specify these attributes in order
208df373737SAchin Gupta  * to initialise the GICV3 driver. The attributes are described below.
209df373737SAchin Gupta  *
210df373737SAchin Gupta  * 1. The 'gicd_base' field contains the base address of the Distributor
211df373737SAchin Gupta  *    interface programmer's view.
212df373737SAchin Gupta  *
213df373737SAchin Gupta  * 2. The 'gicr_base' field contains the base address of the Re-distributor
214df373737SAchin Gupta  *    interface programmer's view.
215df373737SAchin Gupta  *
216df373737SAchin Gupta  * 3. The 'g0_interrupt_array' field is a ponter to an array in which each
217df373737SAchin Gupta  *    entry corresponds to an ID of a Group 0 interrupt.
218df373737SAchin Gupta  *
219df373737SAchin Gupta  * 4. The 'g0_interrupt_num' field contains the number of entries in the
220df373737SAchin Gupta  *    'g0_interrupt_array'.
221df373737SAchin Gupta  *
222df373737SAchin Gupta  * 5. The 'g1s_interrupt_array' field is a ponter to an array in which each
223df373737SAchin Gupta  *    entry corresponds to an ID of a Group 1 interrupt.
224df373737SAchin Gupta  *
225df373737SAchin Gupta  * 6. The 'g1s_interrupt_num' field contains the number of entries in the
226df373737SAchin Gupta  *    'g1s_interrupt_array'.
227df373737SAchin Gupta  *
228df373737SAchin Gupta  * 7. The 'rdistif_num' field contains the number of Redistributor interfaces
229df373737SAchin Gupta  *    the GIC implements. This is equal to the number of CPUs or CPU interfaces
230df373737SAchin Gupta  *    instantiated in the GIC.
231df373737SAchin Gupta  *
232df373737SAchin Gupta  * 8. The 'rdistif_base_addrs' field is a pointer to an array that has an entry
233df373737SAchin Gupta  *    for storing the base address of the Redistributor interface frame of each
234df373737SAchin Gupta  *    CPU in the system. The size of the array = 'rdistif_num'. The base
235df373737SAchin Gupta  *    addresses are detected during driver initialisation.
236df373737SAchin Gupta  *
237df373737SAchin Gupta  * 9. The 'mpidr_to_core_pos' field is a pointer to a hash function which the
238df373737SAchin Gupta  *    driver will use to convert an MPIDR value to a linear core index. This
239df373737SAchin Gupta  *    index will be used for accessing the 'rdistif_base_addrs' array. This is
240df373737SAchin Gupta  *    an optional field. A GICv3 implementation maps each MPIDR to a linear core
241df373737SAchin Gupta  *    index as well. This mapping can be found by reading the "Affinity Value"
242df373737SAchin Gupta  *    and "Processor Number" fields in the GICR_TYPER. It is IMP. DEF. if the
243df373737SAchin Gupta  *    "Processor Numbers" are suitable to index into an array to access core
244df373737SAchin Gupta  *    specific information. If this not the case, the platform port must provide
245df373737SAchin Gupta  *    a hash function. Otherwise, the "Processor Number" field will be used to
246df373737SAchin Gupta  *    access the array elements.
247df373737SAchin Gupta  ******************************************************************************/
2484c0d0390SSoby Mathew typedef unsigned int (*mpidr_hash_fn)(u_register_t mpidr);
249df373737SAchin Gupta 
250df373737SAchin Gupta typedef struct gicv3_driver_data {
251df373737SAchin Gupta 	uintptr_t gicd_base;
252df373737SAchin Gupta 	uintptr_t gicr_base;
253df373737SAchin Gupta 	unsigned int g0_interrupt_num;
254df373737SAchin Gupta 	unsigned int g1s_interrupt_num;
255df373737SAchin Gupta 	const unsigned int *g0_interrupt_array;
256df373737SAchin Gupta 	const unsigned int *g1s_interrupt_array;
257df373737SAchin Gupta 	unsigned int rdistif_num;
258df373737SAchin Gupta 	uintptr_t *rdistif_base_addrs;
259df373737SAchin Gupta 	mpidr_hash_fn mpidr_to_core_pos;
260df373737SAchin Gupta } gicv3_driver_data_t;
261df373737SAchin Gupta 
262*ebf1ca10SSoby Mathew typedef struct gicv3_redist_ctx {
263*ebf1ca10SSoby Mathew 	/* 64 bits registers */
264*ebf1ca10SSoby Mathew 	uint64_t gicr_propbaser;
265*ebf1ca10SSoby Mathew 	uint64_t gicr_pendbaser;
266*ebf1ca10SSoby Mathew 
267*ebf1ca10SSoby Mathew 	/* 32 bits registers */
268*ebf1ca10SSoby Mathew 	uint32_t gicr_ctlr;
269*ebf1ca10SSoby Mathew 	uint32_t gicr_igroupr0;
270*ebf1ca10SSoby Mathew 	uint32_t gicr_isenabler0;
271*ebf1ca10SSoby Mathew 	uint32_t gicr_ispendr0;
272*ebf1ca10SSoby Mathew 	uint32_t gicr_isactiver0;
273*ebf1ca10SSoby Mathew 	uint32_t gicr_ipriorityr[GICR_NUM_REGS(IPRIORITYR)];
274*ebf1ca10SSoby Mathew 	uint32_t gicr_icfgr0;
275*ebf1ca10SSoby Mathew 	uint32_t gicr_icfgr1;
276*ebf1ca10SSoby Mathew 	uint32_t gicr_igrpmodr0;
277*ebf1ca10SSoby Mathew 	uint32_t gicr_nsacr;
278*ebf1ca10SSoby Mathew } gicv3_redist_ctx_t;
279*ebf1ca10SSoby Mathew 
280*ebf1ca10SSoby Mathew typedef struct gicv3_dist_ctx {
281*ebf1ca10SSoby Mathew 	/* 64 bits registers */
282*ebf1ca10SSoby Mathew 	uint64_t gicd_irouter[TOTAL_SPI_INTR_NUM];
283*ebf1ca10SSoby Mathew 
284*ebf1ca10SSoby Mathew 	/* 32 bits registers */
285*ebf1ca10SSoby Mathew 	uint32_t gicd_ctlr;
286*ebf1ca10SSoby Mathew 	uint32_t gicd_igroupr[GICD_NUM_REGS(IGROUPR)];
287*ebf1ca10SSoby Mathew 	uint32_t gicd_isenabler[GICD_NUM_REGS(ISENABLER)];
288*ebf1ca10SSoby Mathew 	uint32_t gicd_ispendr[GICD_NUM_REGS(ISPENDR)];
289*ebf1ca10SSoby Mathew 	uint32_t gicd_isactiver[GICD_NUM_REGS(ISACTIVER)];
290*ebf1ca10SSoby Mathew 	uint32_t gicd_ipriorityr[GICD_NUM_REGS(IPRIORITYR)];
291*ebf1ca10SSoby Mathew 	uint32_t gicd_icfgr[GICD_NUM_REGS(ICFGR)];
292*ebf1ca10SSoby Mathew 	uint32_t gicd_igrpmodr[GICD_NUM_REGS(IGRPMODR)];
293*ebf1ca10SSoby Mathew 	uint32_t gicd_nsacr[GICD_NUM_REGS(NSACR)];
294*ebf1ca10SSoby Mathew } gicv3_dist_ctx_t;
295*ebf1ca10SSoby Mathew 
296df373737SAchin Gupta /*******************************************************************************
297df373737SAchin Gupta  * GICv3 EL3 driver API
298df373737SAchin Gupta  ******************************************************************************/
299df373737SAchin Gupta void gicv3_driver_init(const gicv3_driver_data_t *plat_driver_data);
300df373737SAchin Gupta void gicv3_distif_init(void);
301df373737SAchin Gupta void gicv3_rdistif_init(unsigned int proc_num);
302d780699bSJeenu Viswambharan void gicv3_rdistif_on(unsigned int proc_num);
303d780699bSJeenu Viswambharan void gicv3_rdistif_off(unsigned int proc_num);
304df373737SAchin Gupta void gicv3_cpuif_enable(unsigned int proc_num);
305df373737SAchin Gupta void gicv3_cpuif_disable(unsigned int proc_num);
306df373737SAchin Gupta unsigned int gicv3_get_pending_interrupt_type(void);
307df373737SAchin Gupta unsigned int gicv3_get_pending_interrupt_id(void);
308df373737SAchin Gupta unsigned int gicv3_get_interrupt_type(unsigned int id,
309df373737SAchin Gupta 					  unsigned int proc_num);
310*ebf1ca10SSoby Mathew void gicv3_distif_init_restore(const gicv3_dist_ctx_t * const dist_ctx);
311*ebf1ca10SSoby Mathew void gicv3_distif_save(gicv3_dist_ctx_t * const dist_ctx);
312*ebf1ca10SSoby Mathew /*
313*ebf1ca10SSoby Mathew  * gicv3_distif_post_restore and gicv3_distif_pre_save must be implemented if
314*ebf1ca10SSoby Mathew  * gicv3_distif_save and gicv3_rdistif_init_restore are used. If no
315*ebf1ca10SSoby Mathew  * implementation-defined sequence is needed at these steps, an empty function
316*ebf1ca10SSoby Mathew  * can be provided.
317*ebf1ca10SSoby Mathew  */
318*ebf1ca10SSoby Mathew void gicv3_distif_post_restore(unsigned int proc_num);
319*ebf1ca10SSoby Mathew void gicv3_distif_pre_save(unsigned int proc_num);
320*ebf1ca10SSoby Mathew void gicv3_rdistif_init_restore(unsigned int proc_num, const gicv3_redist_ctx_t * const rdist_ctx);
321*ebf1ca10SSoby Mathew void gicv3_rdistif_save(unsigned int proc_num, gicv3_redist_ctx_t * const rdist_ctx);
322df373737SAchin Gupta 
323df373737SAchin Gupta #endif /* __ASSEMBLY__ */
324df373737SAchin Gupta #endif /* __GICV3_H__ */
325