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