1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3 * Copyright (c) 2016, Linaro Limited
4 * Copyright (c) 2014, STMicroelectronics International N.V.
5 */
6
7 #ifndef __DRIVERS_GIC_H
8 #define __DRIVERS_GIC_H
9 #include <types_ext.h>
10 #include <kernel/interrupt.h>
11
12 #if defined(CFG_ARM_GICV3)
13 #define GIC_DIST_REG_SIZE 0x10000
14 #define GIC_CPU_REG_SIZE 0x10000
15 #else
16 #define GIC_DIST_REG_SIZE 0x1000
17 #define GIC_CPU_REG_SIZE 0x1000
18 #endif
19
20 #define GIC_PPI_BASE U(16)
21 #define GIC_SPI_BASE U(32)
22
23 #define GIC_SGI_TO_ITNUM(x) (x)
24 #define GIC_PPI_TO_ITNUM(x) ((x) + GIC_PPI_BASE)
25 #define GIC_SPI_TO_ITNUM(x) ((x) + GIC_SPI_BASE)
26
27 /*
28 * Default lowest ID for secure SGIs, note that this does not account for
29 * interrupts donated to non-secure world with gic_init_donate_sgi_to_ns().
30 */
31 #define GIC_SGI_SEC_BASE 8
32 /* Max ID for secure SGIs */
33 #define GIC_SGI_SEC_MAX 15
34
35 /*
36 * The two gic_init() and gic_init_v3() functions initializes the struct
37 * gic_data which is then used by the other functions. These two functions
38 * also initializes the GIC and are only supposed to be called from the
39 * primary boot CPU.
40 */
41 void gic_init_v3(paddr_t gicc_base_pa, paddr_t gicd_base_pa,
42 paddr_t gicr_base_pa);
gic_init(paddr_t gicc_base_pa,paddr_t gicd_base_pa)43 static inline void gic_init(paddr_t gicc_base_pa, paddr_t gicd_base_pa)
44 {
45 gic_init_v3(gicc_base_pa, gicd_base_pa, 0);
46 }
47
48 /* Donates one of the secure SGIs to normal world */
49 void gic_init_donate_sgi_to_ns(size_t it);
50
51 /*
52 * Does per-CPU specific GIC initialization, should be called by all
53 * secondary CPUs when booting.
54 */
55 void gic_init_per_cpu(void);
56
57 /* Print GIC state to console */
58 void gic_dump_state(void);
59 #endif /*__DRIVERS_GIC_H*/
60