blob: 94318c69df1c24bb27c031ee43b967e8a758bbfe [file] [log] [blame]
Achin Gupta92712a52015-09-03 14:18:02 +01001/*
Roberto Vargas1a6eed32018-02-12 12:36:17 +00002 * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
Achin Gupta92712a52015-09-03 14:18:02 +01003 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Achin Gupta92712a52015-09-03 14:18:02 +01005 */
6
7#ifndef __GICV3_H__
8#define __GICV3_H__
9
10/*******************************************************************************
11 * GICv3 miscellaneous definitions
12 ******************************************************************************/
13/* Interrupt group definitions */
Soby Mathew5c5c36b2015-12-03 14:12:54 +000014#define INTR_GROUP1S 0
15#define INTR_GROUP0 1
16#define INTR_GROUP1NS 2
Achin Gupta92712a52015-09-03 14:18:02 +010017
18/* Interrupt IDs reported by the HPPIR and IAR registers */
19#define PENDING_G1S_INTID 1020
20#define PENDING_G1NS_INTID 1021
21
22/* Constant to categorize LPI interrupt */
23#define MIN_LPI_ID 8192
24
Jeenu Viswambharanab14e9b2017-09-22 08:32:09 +010025/* GICv3 can only target up to 16 PEs with SGI */
26#define GICV3_MAX_SGI_TARGETS 16
27
Achin Gupta92712a52015-09-03 14:18:02 +010028/*******************************************************************************
29 * GICv3 specific Distributor interface register offsets and constants.
30 ******************************************************************************/
31#define GICD_STATUSR 0x10
32#define GICD_SETSPI_NSR 0x40
33#define GICD_CLRSPI_NSR 0x48
34#define GICD_SETSPI_SR 0x50
35#define GICD_CLRSPI_SR 0x50
36#define GICD_IGRPMODR 0xd00
Soby Mathewaaf71c82016-07-26 17:46:56 +010037/*
38 * GICD_IROUTER<n> register is at 0x6000 + 8n, where n is the interrupt id and
39 * n >= 32, making the effective offset as 0x6100.
40 */
41#define GICD_IROUTER 0x6000
Achin Gupta92712a52015-09-03 14:18:02 +010042#define GICD_PIDR2_GICV3 0xffe8
43
44#define IGRPMODR_SHIFT 5
45
46/* GICD_CTLR bit definitions */
47#define CTLR_ENABLE_G1NS_SHIFT 1
48#define CTLR_ENABLE_G1S_SHIFT 2
49#define CTLR_ARE_S_SHIFT 4
50#define CTLR_ARE_NS_SHIFT 5
51#define CTLR_DS_SHIFT 6
52#define CTLR_E1NWF_SHIFT 7
53#define GICD_CTLR_RWP_SHIFT 31
54
55#define CTLR_ENABLE_G1NS_MASK 0x1
56#define CTLR_ENABLE_G1S_MASK 0x1
57#define CTLR_ARE_S_MASK 0x1
58#define CTLR_ARE_NS_MASK 0x1
59#define CTLR_DS_MASK 0x1
60#define CTLR_E1NWF_MASK 0x1
61#define GICD_CTLR_RWP_MASK 0x1
62
63#define CTLR_ENABLE_G1NS_BIT (1 << CTLR_ENABLE_G1NS_SHIFT)
64#define CTLR_ENABLE_G1S_BIT (1 << CTLR_ENABLE_G1S_SHIFT)
65#define CTLR_ARE_S_BIT (1 << CTLR_ARE_S_SHIFT)
66#define CTLR_ARE_NS_BIT (1 << CTLR_ARE_NS_SHIFT)
67#define CTLR_DS_BIT (1 << CTLR_DS_SHIFT)
68#define CTLR_E1NWF_BIT (1 << CTLR_E1NWF_SHIFT)
69#define GICD_CTLR_RWP_BIT (1 << GICD_CTLR_RWP_SHIFT)
70
71/* GICD_IROUTER shifts and masks */
Soby Mathew327548c2017-07-13 15:19:51 +010072#define IROUTER_SHIFT 0
Achin Gupta92712a52015-09-03 14:18:02 +010073#define IROUTER_IRM_SHIFT 31
74#define IROUTER_IRM_MASK 0x1
75
Jeenu Viswambharandce70b32017-09-22 08:32:09 +010076#define GICV3_IRM_PE 0
77#define GICV3_IRM_ANY 1
78
Soby Mathew327548c2017-07-13 15:19:51 +010079#define NUM_OF_DIST_REGS 30
80
Achin Gupta92712a52015-09-03 14:18:02 +010081/*******************************************************************************
82 * GICv3 Re-distributor interface registers & constants
83 ******************************************************************************/
84#define GICR_PCPUBASE_SHIFT 0x11
85#define GICR_SGIBASE_OFFSET (1 << 0x10) /* 64 KB */
86#define GICR_CTLR 0x0
87#define GICR_TYPER 0x08
88#define GICR_WAKER 0x14
Soby Mathew327548c2017-07-13 15:19:51 +010089#define GICR_PROPBASER 0x70
90#define GICR_PENDBASER 0x78
Achin Gupta92712a52015-09-03 14:18:02 +010091#define GICR_IGROUPR0 (GICR_SGIBASE_OFFSET + 0x80)
92#define GICR_ISENABLER0 (GICR_SGIBASE_OFFSET + 0x100)
93#define GICR_ICENABLER0 (GICR_SGIBASE_OFFSET + 0x180)
Soby Mathew327548c2017-07-13 15:19:51 +010094#define GICR_ISPENDR0 (GICR_SGIBASE_OFFSET + 0x200)
95#define GICR_ICPENDR0 (GICR_SGIBASE_OFFSET + 0x280)
96#define GICR_ISACTIVER0 (GICR_SGIBASE_OFFSET + 0x300)
97#define GICR_ICACTIVER0 (GICR_SGIBASE_OFFSET + 0x380)
Achin Gupta92712a52015-09-03 14:18:02 +010098#define GICR_IPRIORITYR (GICR_SGIBASE_OFFSET + 0x400)
99#define GICR_ICFGR0 (GICR_SGIBASE_OFFSET + 0xc00)
100#define GICR_ICFGR1 (GICR_SGIBASE_OFFSET + 0xc04)
101#define GICR_IGRPMODR0 (GICR_SGIBASE_OFFSET + 0xd00)
Soby Mathew327548c2017-07-13 15:19:51 +0100102#define GICR_NSACR (GICR_SGIBASE_OFFSET + 0xe00)
Achin Gupta92712a52015-09-03 14:18:02 +0100103
104/* GICR_CTLR bit definitions */
Soby Mathew327548c2017-07-13 15:19:51 +0100105#define GICR_CTLR_UWP_SHIFT 31
106#define GICR_CTLR_UWP_MASK 0x1
107#define GICR_CTLR_UWP_BIT (1U << GICR_CTLR_UWP_SHIFT)
Achin Gupta92712a52015-09-03 14:18:02 +0100108#define GICR_CTLR_RWP_SHIFT 3
109#define GICR_CTLR_RWP_MASK 0x1
Soby Mathew327548c2017-07-13 15:19:51 +0100110#define GICR_CTLR_RWP_BIT (1U << GICR_CTLR_RWP_SHIFT)
111#define GICR_CTLR_EN_LPIS_BIT (1U << 0)
Achin Gupta92712a52015-09-03 14:18:02 +0100112
113/* GICR_WAKER bit definitions */
114#define WAKER_CA_SHIFT 2
115#define WAKER_PS_SHIFT 1
116
117#define WAKER_CA_MASK 0x1
118#define WAKER_PS_MASK 0x1
119
120#define WAKER_CA_BIT (1 << WAKER_CA_SHIFT)
121#define WAKER_PS_BIT (1 << WAKER_PS_SHIFT)
122
123/* GICR_TYPER bit definitions */
124#define TYPER_AFF_VAL_SHIFT 32
125#define TYPER_PROC_NUM_SHIFT 8
126#define TYPER_LAST_SHIFT 4
127
128#define TYPER_AFF_VAL_MASK 0xffffffff
129#define TYPER_PROC_NUM_MASK 0xffff
130#define TYPER_LAST_MASK 0x1
131
132#define TYPER_LAST_BIT (1 << TYPER_LAST_SHIFT)
133
Soby Mathew327548c2017-07-13 15:19:51 +0100134#define NUM_OF_REDIST_REGS 30
135
Achin Gupta92712a52015-09-03 14:18:02 +0100136/*******************************************************************************
137 * GICv3 CPU interface registers & constants
138 ******************************************************************************/
139/* ICC_SRE bit definitions*/
140#define ICC_SRE_EN_BIT (1 << 3)
141#define ICC_SRE_DIB_BIT (1 << 2)
142#define ICC_SRE_DFB_BIT (1 << 1)
143#define ICC_SRE_SRE_BIT (1 << 0)
144
145/* ICC_IGRPEN1_EL3 bit definitions */
146#define IGRPEN1_EL3_ENABLE_G1NS_SHIFT 0
147#define IGRPEN1_EL3_ENABLE_G1S_SHIFT 1
148
149#define IGRPEN1_EL3_ENABLE_G1NS_BIT (1 << IGRPEN1_EL3_ENABLE_G1NS_SHIFT)
150#define IGRPEN1_EL3_ENABLE_G1S_BIT (1 << IGRPEN1_EL3_ENABLE_G1S_SHIFT)
151
152/* ICC_IGRPEN0_EL1 bit definitions */
153#define IGRPEN1_EL1_ENABLE_G0_SHIFT 0
154#define IGRPEN1_EL1_ENABLE_G0_BIT (1 << IGRPEN1_EL1_ENABLE_G0_SHIFT)
155
156/* ICC_HPPIR0_EL1 bit definitions */
157#define HPPIR0_EL1_INTID_SHIFT 0
158#define HPPIR0_EL1_INTID_MASK 0xffffff
159
160/* ICC_HPPIR1_EL1 bit definitions */
161#define HPPIR1_EL1_INTID_SHIFT 0
162#define HPPIR1_EL1_INTID_MASK 0xffffff
163
164/* ICC_IAR0_EL1 bit definitions */
165#define IAR0_EL1_INTID_SHIFT 0
166#define IAR0_EL1_INTID_MASK 0xffffff
167
168/* ICC_IAR1_EL1 bit definitions */
169#define IAR1_EL1_INTID_SHIFT 0
170#define IAR1_EL1_INTID_MASK 0xffffff
171
Jeenu Viswambharanab14e9b2017-09-22 08:32:09 +0100172/* ICC SGI macros */
173#define SGIR_TGT_MASK 0xffff
174#define SGIR_AFF1_SHIFT 16
175#define SGIR_INTID_SHIFT 24
176#define SGIR_INTID_MASK 0xf
177#define SGIR_AFF2_SHIFT 32
178#define SGIR_IRM_SHIFT 40
179#define SGIR_IRM_MASK 0x1
180#define SGIR_AFF3_SHIFT 48
181#define SGIR_AFF_MASK 0xf
182
183#define SGIR_IRM_TO_AFF 0
184
185#define GICV3_SGIR_VALUE(aff3, aff2, aff1, intid, irm, tgt) \
186 ((((uint64_t) (aff3) & SGIR_AFF_MASK) << SGIR_AFF3_SHIFT) | \
187 (((uint64_t) (irm) & SGIR_IRM_MASK) << SGIR_IRM_SHIFT) | \
188 (((uint64_t) (aff2) & SGIR_AFF_MASK) << SGIR_AFF2_SHIFT) | \
189 (((intid) & SGIR_INTID_MASK) << SGIR_INTID_SHIFT) | \
190 (((aff1) & SGIR_AFF_MASK) << SGIR_AFF1_SHIFT) | \
191 ((tgt) & SGIR_TGT_MASK))
192
Soby Mathewf6f1a322017-07-18 16:12:45 +0100193/*****************************************************************************
194 * GICv3 ITS registers and constants
195 *****************************************************************************/
196
197#define GITS_CTLR 0x0
198#define GITS_IIDR 0x4
199#define GITS_TYPER 0x8
200#define GITS_CBASER 0x80
201#define GITS_CWRITER 0x88
202#define GITS_CREADR 0x90
203#define GITS_BASER 0x100
204
205/* GITS_CTLR bit definitions */
206#define GITS_CTLR_ENABLED_BIT 1
207#define GITS_CTLR_QUIESCENT_SHIFT 31
208#define GITS_CTLR_QUIESCENT_BIT (1U << GITS_CTLR_QUIESCENT_SHIFT)
209
Achin Gupta92712a52015-09-03 14:18:02 +0100210#ifndef __ASSEMBLY__
211
Antonio Nino Diazdd4e59e2018-08-13 15:29:29 +0100212#include <arch_helpers.h>
Soby Mathew327548c2017-07-13 15:19:51 +0100213#include <gic_common.h>
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100214#include <interrupt_props.h>
Antonio Nino Diazdd4e59e2018-08-13 15:29:29 +0100215#include <stdbool.h>
Achin Gupta92712a52015-09-03 14:18:02 +0100216#include <stdint.h>
Soby Mathew327548c2017-07-13 15:19:51 +0100217#include <utils_def.h>
Achin Gupta92712a52015-09-03 14:18:02 +0100218
Antonio Nino Diazdd4e59e2018-08-13 15:29:29 +0100219static inline bool gicv3_is_intr_id_special_identifier(unsigned int id)
220{
221 return (id >= PENDING_G1S_INTID) && (id <= GIC_SPURIOUS_INTERRUPT);
222}
Achin Gupta92712a52015-09-03 14:18:02 +0100223
224/*******************************************************************************
225 * Helper GICv3 macros for SEL1
226 ******************************************************************************/
Antonio Nino Diazdd4e59e2018-08-13 15:29:29 +0100227static inline uint32_t gicv3_acknowledge_interrupt_sel1(void)
228{
229 return (uint32_t)read_icc_iar1_el1() & IAR1_EL1_INTID_MASK;
230}
Achin Gupta92712a52015-09-03 14:18:02 +0100231
Antonio Nino Diazdd4e59e2018-08-13 15:29:29 +0100232static inline uint32_t gicv3_get_pending_interrupt_id_sel1(void)
233{
234 return (uint32_t)read_icc_hppir1_el1() & HPPIR1_EL1_INTID_MASK;
235}
236
237static inline void gicv3_end_of_interrupt_sel1(unsigned int id)
238{
239 write_icc_eoir1_el1(id);
240}
Achin Gupta92712a52015-09-03 14:18:02 +0100241
242/*******************************************************************************
243 * Helper GICv3 macros for EL3
244 ******************************************************************************/
Antonio Nino Diazdd4e59e2018-08-13 15:29:29 +0100245static inline uint32_t gicv3_acknowledge_interrupt(void)
246{
247 return (uint32_t)read_icc_iar0_el1() & IAR0_EL1_INTID_MASK;
248}
249
250static inline void gicv3_end_of_interrupt(unsigned int id)
251{
252 return write_icc_eoir0_el1(id);
253}
Achin Gupta92712a52015-09-03 14:18:02 +0100254
Soby Mathew327548c2017-07-13 15:19:51 +0100255/*
256 * This macro returns the total number of GICD registers corresponding to
257 * the name.
258 */
259#define GICD_NUM_REGS(reg_name) \
260 DIV_ROUND_UP_2EVAL(TOTAL_SPI_INTR_NUM, (1 << reg_name ## _SHIFT))
261
262#define GICR_NUM_REGS(reg_name) \
263 DIV_ROUND_UP_2EVAL(TOTAL_PCPU_INTR_NUM, (1 << reg_name ## _SHIFT))
264
Jeenu Viswambharan055af4b2017-10-24 15:13:59 +0100265/* Interrupt ID mask for HPPIR, AHPPIR, IAR and AIAR CPU Interface registers */
266#define INT_ID_MASK 0xffffff
267
Achin Gupta92712a52015-09-03 14:18:02 +0100268/*******************************************************************************
269 * This structure describes some of the implementation defined attributes of the
270 * GICv3 IP. It is used by the platform port to specify these attributes in order
271 * to initialise the GICV3 driver. The attributes are described below.
272 *
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100273 * The 'gicd_base' field contains the base address of the Distributor interface
274 * programmer's view.
275 *
276 * The 'gicr_base' field contains the base address of the Re-distributor
277 * interface programmer's view.
Achin Gupta92712a52015-09-03 14:18:02 +0100278 *
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100279 * The 'g0_interrupt_array' field is a pointer to an array in which each entry
280 * corresponds to an ID of a Group 0 interrupt. This field is ignored when
281 * 'interrupt_props' field is used. This field is deprecated.
Achin Gupta92712a52015-09-03 14:18:02 +0100282 *
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100283 * The 'g0_interrupt_num' field contains the number of entries in the
284 * 'g0_interrupt_array'. This field is ignored when 'interrupt_props' field is
285 * used. This field is deprecated.
Achin Gupta92712a52015-09-03 14:18:02 +0100286 *
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100287 * The 'g1s_interrupt_array' field is a pointer to an array in which each entry
288 * corresponds to an ID of a Group 1 interrupt. This field is ignored when
289 * 'interrupt_props' field is used. This field is deprecated.
Achin Gupta92712a52015-09-03 14:18:02 +0100290 *
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100291 * The 'g1s_interrupt_num' field contains the number of entries in the
292 * 'g1s_interrupt_array'. This field must be 0 if 'interrupt_props' field is
293 * used. This field is ignored when 'interrupt_props' field is used. This field
294 * is deprecated.
Achin Gupta92712a52015-09-03 14:18:02 +0100295 *
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100296 * The 'interrupt_props' field is a pointer to an array that enumerates secure
297 * interrupts and their properties. If this field is not NULL, both
298 * 'g0_interrupt_array' and 'g1s_interrupt_array' fields are ignored.
Achin Gupta92712a52015-09-03 14:18:02 +0100299 *
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100300 * The 'interrupt_props_num' field contains the number of entries in the
301 * 'interrupt_props' array. If this field is non-zero, both 'g0_interrupt_num'
302 * and 'g1s_interrupt_num' are ignored.
Achin Gupta92712a52015-09-03 14:18:02 +0100303 *
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100304 * The 'rdistif_num' field contains the number of Redistributor interfaces the
305 * GIC implements. This is equal to the number of CPUs or CPU interfaces
306 * instantiated in the GIC.
Achin Gupta92712a52015-09-03 14:18:02 +0100307 *
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100308 * The 'rdistif_base_addrs' field is a pointer to an array that has an entry for
309 * storing the base address of the Redistributor interface frame of each CPU in
310 * the system. The size of the array = 'rdistif_num'. The base addresses are
311 * detected during driver initialisation.
312 *
313 * The 'mpidr_to_core_pos' field is a pointer to a hash function which the
314 * driver will use to convert an MPIDR value to a linear core index. This index
315 * will be used for accessing the 'rdistif_base_addrs' array. This is an
316 * optional field. A GICv3 implementation maps each MPIDR to a linear core index
317 * as well. This mapping can be found by reading the "Affinity Value" and
318 * "Processor Number" fields in the GICR_TYPER. It is IMP. DEF. if the
319 * "Processor Numbers" are suitable to index into an array to access core
320 * specific information. If this not the case, the platform port must provide a
321 * hash function. Otherwise, the "Processor Number" field will be used to access
322 * the array elements.
Achin Gupta92712a52015-09-03 14:18:02 +0100323 ******************************************************************************/
Soby Mathewa0fedc42016-06-16 14:52:04 +0100324typedef unsigned int (*mpidr_hash_fn)(u_register_t mpidr);
Achin Gupta92712a52015-09-03 14:18:02 +0100325
326typedef struct gicv3_driver_data {
327 uintptr_t gicd_base;
328 uintptr_t gicr_base;
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100329#if !ERROR_DEPRECATED
Dan Handley4d408b52018-03-01 16:00:15 +0000330 unsigned int g0_interrupt_num __deprecated;
331 unsigned int g1s_interrupt_num __deprecated;
332 const unsigned int *g0_interrupt_array __deprecated;
333 const unsigned int *g1s_interrupt_array __deprecated;
Jeenu Viswambharanaeb267c2017-09-22 08:32:09 +0100334#endif
335 const interrupt_prop_t *interrupt_props;
336 unsigned int interrupt_props_num;
Achin Gupta92712a52015-09-03 14:18:02 +0100337 unsigned int rdistif_num;
338 uintptr_t *rdistif_base_addrs;
339 mpidr_hash_fn mpidr_to_core_pos;
340} gicv3_driver_data_t;
341
Soby Mathew327548c2017-07-13 15:19:51 +0100342typedef struct gicv3_redist_ctx {
343 /* 64 bits registers */
344 uint64_t gicr_propbaser;
345 uint64_t gicr_pendbaser;
346
347 /* 32 bits registers */
348 uint32_t gicr_ctlr;
349 uint32_t gicr_igroupr0;
350 uint32_t gicr_isenabler0;
351 uint32_t gicr_ispendr0;
352 uint32_t gicr_isactiver0;
353 uint32_t gicr_ipriorityr[GICR_NUM_REGS(IPRIORITYR)];
354 uint32_t gicr_icfgr0;
355 uint32_t gicr_icfgr1;
356 uint32_t gicr_igrpmodr0;
357 uint32_t gicr_nsacr;
358} gicv3_redist_ctx_t;
359
360typedef struct gicv3_dist_ctx {
361 /* 64 bits registers */
362 uint64_t gicd_irouter[TOTAL_SPI_INTR_NUM];
363
364 /* 32 bits registers */
365 uint32_t gicd_ctlr;
366 uint32_t gicd_igroupr[GICD_NUM_REGS(IGROUPR)];
367 uint32_t gicd_isenabler[GICD_NUM_REGS(ISENABLER)];
368 uint32_t gicd_ispendr[GICD_NUM_REGS(ISPENDR)];
369 uint32_t gicd_isactiver[GICD_NUM_REGS(ISACTIVER)];
370 uint32_t gicd_ipriorityr[GICD_NUM_REGS(IPRIORITYR)];
371 uint32_t gicd_icfgr[GICD_NUM_REGS(ICFGR)];
372 uint32_t gicd_igrpmodr[GICD_NUM_REGS(IGRPMODR)];
373 uint32_t gicd_nsacr[GICD_NUM_REGS(NSACR)];
374} gicv3_dist_ctx_t;
375
Soby Mathewf6f1a322017-07-18 16:12:45 +0100376typedef struct gicv3_its_ctx {
377 /* 64 bits registers */
378 uint64_t gits_cbaser;
379 uint64_t gits_cwriter;
380 uint64_t gits_baser[8];
381
382 /* 32 bits registers */
383 uint32_t gits_ctlr;
384} gicv3_its_ctx_t;
385
Achin Gupta92712a52015-09-03 14:18:02 +0100386/*******************************************************************************
387 * GICv3 EL3 driver API
388 ******************************************************************************/
389void gicv3_driver_init(const gicv3_driver_data_t *plat_driver_data);
390void gicv3_distif_init(void);
391void gicv3_rdistif_init(unsigned int proc_num);
Jeenu Viswambharan76647d52016-12-09 11:03:15 +0000392void gicv3_rdistif_on(unsigned int proc_num);
393void gicv3_rdistif_off(unsigned int proc_num);
Achin Gupta92712a52015-09-03 14:18:02 +0100394void gicv3_cpuif_enable(unsigned int proc_num);
395void gicv3_cpuif_disable(unsigned int proc_num);
396unsigned int gicv3_get_pending_interrupt_type(void);
397unsigned int gicv3_get_pending_interrupt_id(void);
398unsigned int gicv3_get_interrupt_type(unsigned int id,
399 unsigned int proc_num);
Soby Mathew327548c2017-07-13 15:19:51 +0100400void gicv3_distif_init_restore(const gicv3_dist_ctx_t * const dist_ctx);
401void gicv3_distif_save(gicv3_dist_ctx_t * const dist_ctx);
402/*
403 * gicv3_distif_post_restore and gicv3_distif_pre_save must be implemented if
404 * gicv3_distif_save and gicv3_rdistif_init_restore are used. If no
405 * implementation-defined sequence is needed at these steps, an empty function
406 * can be provided.
407 */
408void gicv3_distif_post_restore(unsigned int proc_num);
409void gicv3_distif_pre_save(unsigned int proc_num);
410void gicv3_rdistif_init_restore(unsigned int proc_num, const gicv3_redist_ctx_t * const rdist_ctx);
411void gicv3_rdistif_save(unsigned int proc_num, gicv3_redist_ctx_t * const rdist_ctx);
Soby Mathewf6f1a322017-07-18 16:12:45 +0100412void gicv3_its_save_disable(uintptr_t gits_base, gicv3_its_ctx_t * const its_ctx);
413void gicv3_its_restore(uintptr_t gits_base, const gicv3_its_ctx_t * const its_ctx);
Achin Gupta92712a52015-09-03 14:18:02 +0100414
Jeenu Viswambharanb1e957e2017-09-22 08:32:09 +0100415unsigned int gicv3_get_running_priority(void);
Jeenu Viswambharan24e70292017-09-22 08:32:09 +0100416unsigned int gicv3_get_interrupt_active(unsigned int id, unsigned int proc_num);
Jeenu Viswambharan0fcdfff2017-09-22 08:32:09 +0100417void gicv3_enable_interrupt(unsigned int id, unsigned int proc_num);
418void gicv3_disable_interrupt(unsigned int id, unsigned int proc_num);
Jeenu Viswambharan447b89d2017-09-22 08:32:09 +0100419void gicv3_set_interrupt_priority(unsigned int id, unsigned int proc_num,
420 unsigned int priority);
Jeenu Viswambharanc06f05c2017-09-22 08:32:09 +0100421void gicv3_set_interrupt_type(unsigned int id, unsigned int proc_num,
Roberto Vargas1a6eed32018-02-12 12:36:17 +0000422 unsigned int type);
Jeenu Viswambharanab14e9b2017-09-22 08:32:09 +0100423void gicv3_raise_secure_g0_sgi(int sgi_num, u_register_t target);
Jeenu Viswambharandce70b32017-09-22 08:32:09 +0100424void gicv3_set_spi_routing(unsigned int id, unsigned int irm,
425 u_register_t mpidr);
Jeenu Viswambharaneb1c12c2017-09-22 08:32:09 +0100426void gicv3_set_interrupt_pending(unsigned int id, unsigned int proc_num);
427void gicv3_clear_interrupt_pending(unsigned int id, unsigned int proc_num);
Jeenu Viswambharan62505072017-09-22 08:32:09 +0100428unsigned int gicv3_set_pmr(unsigned int mask);
Jeenu Viswambharanb1e957e2017-09-22 08:32:09 +0100429
Achin Gupta92712a52015-09-03 14:18:02 +0100430#endif /* __ASSEMBLY__ */
431#endif /* __GICV3_H__ */