blob: 05df97addea029e2345d0d9f51eaf43fd39b131c [file] [log] [blame]
Soby Mathewf14d1882015-10-26 14:01:53 +00001/*
Madhukar Pappireddyab80cf32023-08-03 12:13:27 -05002 * Copyright (c) 2015-2023, Arm Limited and Contributors. All rights reserved.
Florian Lugoudcb31ff2021-09-08 12:40:24 +02003 * Portions copyright (c) 2021-2022, ProvenRun S.A.S. All rights reserved.
Soby Mathewf14d1882015-10-26 14:01:53 +00004 *
dp-arm82cb2c12017-05-03 09:38:09 +01005 * SPDX-License-Identifier: BSD-3-Clause
Soby Mathewf14d1882015-10-26 14:01:53 +00006 */
Antonio Nino Diaz09d40e02018-12-14 00:18:21 +00007
Soby Mathewf14d1882015-10-26 14:01:53 +00008#include <assert.h>
Antonio Nino Diaze0ced7a2018-08-21 09:44:43 +01009#include <stdbool.h>
Soby Mathewf14d1882015-10-26 14:01:53 +000010
Antonio Nino Diaz09d40e02018-12-14 00:18:21 +000011#include <bl31/interrupt_mgmt.h>
12#include <drivers/arm/gic_common.h>
13#include <drivers/arm/gicv2.h>
14#include <plat/common/platform.h>
15
Soby Mathewf14d1882015-10-26 14:01:53 +000016/*
17 * The following platform GIC functions are weakly defined. They
18 * provide typical implementations that may be re-used by multiple
19 * platforms but may also be overridden by a platform if required.
20 */
21#pragma weak plat_ic_get_pending_interrupt_id
22#pragma weak plat_ic_get_pending_interrupt_type
23#pragma weak plat_ic_acknowledge_interrupt
24#pragma weak plat_ic_get_interrupt_type
25#pragma weak plat_ic_end_of_interrupt
26#pragma weak plat_interrupt_type_to_line
27
Jeenu Viswambharaneb68ea92017-09-22 08:32:09 +010028#pragma weak plat_ic_get_running_priority
Jeenu Viswambharanca43b552017-09-22 08:32:09 +010029#pragma weak plat_ic_is_spi
30#pragma weak plat_ic_is_ppi
31#pragma weak plat_ic_is_sgi
Jeenu Viswambharancbd3f372017-09-22 08:32:09 +010032#pragma weak plat_ic_get_interrupt_active
Jeenu Viswambharan979225f2017-09-22 08:32:09 +010033#pragma weak plat_ic_enable_interrupt
34#pragma weak plat_ic_disable_interrupt
Jeenu Viswambharanf3a86602017-09-22 08:32:09 +010035#pragma weak plat_ic_set_interrupt_priority
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +010036#pragma weak plat_ic_set_interrupt_type
Jeenu Viswambharan8db978b2017-09-22 08:32:09 +010037#pragma weak plat_ic_raise_el3_sgi
Florian Lugoudcb31ff2021-09-08 12:40:24 +020038#pragma weak plat_ic_raise_ns_sgi
39#pragma weak plat_ic_raise_s_el1_sgi
Jeenu Viswambharanfc529fe2017-09-22 08:32:09 +010040#pragma weak plat_ic_set_spi_routing
Jeenu Viswambharaneb68ea92017-09-22 08:32:09 +010041
Soby Mathewf14d1882015-10-26 14:01:53 +000042/*
43 * This function returns the highest priority pending interrupt at
44 * the Interrupt controller
45 */
46uint32_t plat_ic_get_pending_interrupt_id(void)
47{
48 unsigned int id;
49
50 id = gicv2_get_pending_interrupt_id();
51 if (id == GIC_SPURIOUS_INTERRUPT)
52 return INTR_ID_UNAVAILABLE;
53
54 return id;
55}
56
57/*
58 * This function returns the type of the highest priority pending interrupt
59 * at the Interrupt controller. In the case of GICv2, the Highest Priority
60 * Pending interrupt register (`GICC_HPPIR`) is read to determine the id of
61 * the pending interrupt. The type of interrupt depends upon the id value
62 * as follows.
63 * 1. id < PENDING_G1_INTID (1022) is reported as a S-EL1 interrupt
64 * 2. id = PENDING_G1_INTID (1022) is reported as a Non-secure interrupt.
65 * 3. id = GIC_SPURIOUS_INTERRUPT (1023) is reported as an invalid interrupt
66 * type.
67 */
68uint32_t plat_ic_get_pending_interrupt_type(void)
69{
70 unsigned int id;
71
72 id = gicv2_get_pending_interrupt_type();
73
74 /* Assume that all secure interrupts are S-EL1 interrupts */
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +010075 if (id < PENDING_G1_INTID) {
76#if GICV2_G0_FOR_EL3
77 return INTR_TYPE_EL3;
78#else
Soby Mathewf14d1882015-10-26 14:01:53 +000079 return INTR_TYPE_S_EL1;
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +010080#endif
81 }
Soby Mathewf14d1882015-10-26 14:01:53 +000082
Maheedhar Bollapalli7e288d12024-04-25 10:34:02 +053083 if (id == GIC_SPURIOUS_INTERRUPT) {
Soby Mathewf14d1882015-10-26 14:01:53 +000084 return INTR_TYPE_INVAL;
Maheedhar Bollapalli7e288d12024-04-25 10:34:02 +053085 }
Soby Mathewf14d1882015-10-26 14:01:53 +000086 return INTR_TYPE_NS;
87}
88
89/*
90 * This function returns the highest priority pending interrupt at
91 * the Interrupt controller and indicates to the Interrupt controller
92 * that the interrupt processing has started.
93 */
94uint32_t plat_ic_acknowledge_interrupt(void)
95{
96 return gicv2_acknowledge_interrupt();
97}
98
99/*
100 * This function returns the type of the interrupt `id`, depending on how
101 * the interrupt has been configured in the interrupt controller
102 */
103uint32_t plat_ic_get_interrupt_type(uint32_t id)
104{
105 unsigned int type;
106
107 type = gicv2_get_interrupt_group(id);
108
109 /* Assume that all secure interrupts are S-EL1 interrupts */
Antonio Nino Diaze0ced7a2018-08-21 09:44:43 +0100110 return (type == GICV2_INTR_GROUP1) ? INTR_TYPE_NS :
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100111#if GICV2_G0_FOR_EL3
112 INTR_TYPE_EL3;
113#else
114 INTR_TYPE_S_EL1;
115#endif
Soby Mathewf14d1882015-10-26 14:01:53 +0000116}
117
118/*
119 * This functions is used to indicate to the interrupt controller that
120 * the processing of the interrupt corresponding to the `id` has
121 * finished.
122 */
123void plat_ic_end_of_interrupt(uint32_t id)
124{
125 gicv2_end_of_interrupt(id);
126}
127
128/*
129 * An ARM processor signals interrupt exceptions through the IRQ and FIQ pins.
130 * The interrupt controller knows which pin/line it uses to signal a type of
131 * interrupt. It lets the interrupt management framework determine
132 * for a type of interrupt and security state, which line should be used in the
133 * SCR_EL3 to control its routing to EL3. The interrupt line is represented
134 * as the bit position of the IRQ or FIQ bit in the SCR_EL3.
135 */
136uint32_t plat_interrupt_type_to_line(uint32_t type,
137 uint32_t security_state)
138{
Antonio Nino Diaze0ced7a2018-08-21 09:44:43 +0100139 assert((type == INTR_TYPE_S_EL1) || (type == INTR_TYPE_EL3) ||
140 (type == INTR_TYPE_NS));
Soby Mathewf14d1882015-10-26 14:01:53 +0000141
Santeri Salko53a98be2018-02-08 22:01:26 +0200142 assert(sec_state_is_valid(security_state));
143
Soby Mathewf14d1882015-10-26 14:01:53 +0000144 /* Non-secure interrupts are signaled on the IRQ line always */
Maheedhar Bollapalli7e288d12024-04-25 10:34:02 +0530145 if (type == INTR_TYPE_NS) {
Soby Mathewf14d1882015-10-26 14:01:53 +0000146 return __builtin_ctz(SCR_IRQ_BIT);
Maheedhar Bollapalli7e288d12024-04-25 10:34:02 +0530147 }
Soby Mathewf14d1882015-10-26 14:01:53 +0000148
149 /*
150 * Secure interrupts are signaled using the IRQ line if the FIQ is
151 * not enabled else they are signaled using the FIQ line.
152 */
Antonio Nino Diaze0ced7a2018-08-21 09:44:43 +0100153 return ((gicv2_is_fiq_enabled() != 0U) ? __builtin_ctz(SCR_FIQ_BIT) :
154 __builtin_ctz(SCR_IRQ_BIT));
Soby Mathewf14d1882015-10-26 14:01:53 +0000155}
Jeenu Viswambharaneb68ea92017-09-22 08:32:09 +0100156
157unsigned int plat_ic_get_running_priority(void)
158{
159 return gicv2_get_running_priority();
160}
Jeenu Viswambharanca43b552017-09-22 08:32:09 +0100161
162int plat_ic_is_spi(unsigned int id)
163{
164 return (id >= MIN_SPI_ID) && (id <= MAX_SPI_ID);
165}
166
167int plat_ic_is_ppi(unsigned int id)
168{
169 return (id >= MIN_PPI_ID) && (id < MIN_SPI_ID);
170}
171
172int plat_ic_is_sgi(unsigned int id)
173{
174 return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID);
175}
Jeenu Viswambharancbd3f372017-09-22 08:32:09 +0100176
177unsigned int plat_ic_get_interrupt_active(unsigned int id)
178{
179 return gicv2_get_interrupt_active(id);
180}
Jeenu Viswambharan979225f2017-09-22 08:32:09 +0100181
182void plat_ic_enable_interrupt(unsigned int id)
183{
184 gicv2_enable_interrupt(id);
185}
186
187void plat_ic_disable_interrupt(unsigned int id)
188{
189 gicv2_disable_interrupt(id);
190}
Jeenu Viswambharanf3a86602017-09-22 08:32:09 +0100191
192void plat_ic_set_interrupt_priority(unsigned int id, unsigned int priority)
193{
194 gicv2_set_interrupt_priority(id, priority);
195}
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100196
Madhukar Pappireddy1f6bb412023-09-06 16:50:22 -0500197bool plat_ic_has_interrupt_type(unsigned int type)
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100198{
Madhukar Pappireddy1f6bb412023-09-06 16:50:22 -0500199 bool has_interrupt_type = false;
Jonathan Wright649c48f2018-03-14 15:24:00 +0000200
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100201 switch (type) {
202#if GICV2_G0_FOR_EL3
203 case INTR_TYPE_EL3:
204#else
205 case INTR_TYPE_S_EL1:
206#endif
207 case INTR_TYPE_NS:
Madhukar Pappireddy1f6bb412023-09-06 16:50:22 -0500208 has_interrupt_type = true;
Jonathan Wright649c48f2018-03-14 15:24:00 +0000209 break;
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100210 default:
Jonathan Wright649c48f2018-03-14 15:24:00 +0000211 /* Do nothing in default case */
212 break;
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100213 }
Jonathan Wright649c48f2018-03-14 15:24:00 +0000214
215 return has_interrupt_type;
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100216}
217
218void plat_ic_set_interrupt_type(unsigned int id, unsigned int type)
219{
Madhukar Pappireddyab80cf32023-08-03 12:13:27 -0500220 unsigned int gicv2_group = 0U;
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100221
222 /* Map canonical interrupt type to GICv2 type */
223 switch (type) {
224#if GICV2_G0_FOR_EL3
225 case INTR_TYPE_EL3:
226#else
227 case INTR_TYPE_S_EL1:
228#endif
Madhukar Pappireddyab80cf32023-08-03 12:13:27 -0500229 gicv2_group = GICV2_INTR_GROUP0;
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100230 break;
231 case INTR_TYPE_NS:
Madhukar Pappireddyab80cf32023-08-03 12:13:27 -0500232 gicv2_group = GICV2_INTR_GROUP1;
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100233 break;
234 default:
Madhukar Pappireddyab80cf32023-08-03 12:13:27 -0500235 assert(false); /* Unreachable */
Jonathan Wright649c48f2018-03-14 15:24:00 +0000236 break;
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100237 }
238
Madhukar Pappireddyab80cf32023-08-03 12:13:27 -0500239 gicv2_set_interrupt_group(id, gicv2_group);
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +0100240}
Jeenu Viswambharan8db978b2017-09-22 08:32:09 +0100241
242void plat_ic_raise_el3_sgi(int sgi_num, u_register_t target)
243{
244#if GICV2_G0_FOR_EL3
245 int id;
246
247 /* Target must be a valid MPIDR in the system */
248 id = plat_core_pos_by_mpidr(target);
249 assert(id >= 0);
250
251 /* Verify that this is a secure SGI */
252 assert(plat_ic_get_interrupt_type(sgi_num) == INTR_TYPE_EL3);
253
Florian Lugoudcb31ff2021-09-08 12:40:24 +0200254 gicv2_raise_sgi(sgi_num, false, id);
Jeenu Viswambharan8db978b2017-09-22 08:32:09 +0100255#else
Antonio Nino Diaze0ced7a2018-08-21 09:44:43 +0100256 assert(false);
Jeenu Viswambharan8db978b2017-09-22 08:32:09 +0100257#endif
258}
Jeenu Viswambharanfc529fe2017-09-22 08:32:09 +0100259
Florian Lugoudcb31ff2021-09-08 12:40:24 +0200260void plat_ic_raise_ns_sgi(int sgi_num, u_register_t target)
261{
262 int id;
263
264 /* Target must be a valid MPIDR in the system */
265 id = plat_core_pos_by_mpidr(target);
266 assert(id >= 0);
267
268 /* Verify that this is a non-secure SGI */
269 assert(plat_ic_get_interrupt_type(sgi_num) == INTR_TYPE_NS);
270
271 gicv2_raise_sgi(sgi_num, true, id);
272}
273
274void plat_ic_raise_s_el1_sgi(int sgi_num, u_register_t target)
275{
276#if GICV2_G0_FOR_EL3
277 assert(false);
278#else
279 int id;
280
281 /* Target must be a valid MPIDR in the system */
282 id = plat_core_pos_by_mpidr(target);
283 assert(id >= 0);
284
285 /* Verify that this is a secure EL1 SGI */
286 assert(plat_ic_get_interrupt_type(sgi_num) == INTR_TYPE_S_EL1);
287
288 gicv2_raise_sgi(sgi_num, false, id);
289#endif
290}
291
Jeenu Viswambharanfc529fe2017-09-22 08:32:09 +0100292void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,
293 u_register_t mpidr)
294{
295 int proc_num = 0;
296
297 switch (routing_mode) {
298 case INTR_ROUTING_MODE_PE:
299 proc_num = plat_core_pos_by_mpidr(mpidr);
300 assert(proc_num >= 0);
301 break;
302 case INTR_ROUTING_MODE_ANY:
303 /* Bit mask selecting all 8 CPUs as candidates */
304 proc_num = -1;
305 break;
306 default:
Daniel Boulbya08a2012018-06-22 14:16:03 +0100307 assert(0); /* Unreachable */
Jonathan Wright649c48f2018-03-14 15:24:00 +0000308 break;
Jeenu Viswambharanfc529fe2017-09-22 08:32:09 +0100309 }
310
311 gicv2_set_spi_routing(id, proc_num);
312}
Jeenu Viswambharana2816a12017-09-22 08:32:09 +0100313
314void plat_ic_set_interrupt_pending(unsigned int id)
315{
316 gicv2_set_interrupt_pending(id);
317}
318
319void plat_ic_clear_interrupt_pending(unsigned int id)
320{
321 gicv2_clear_interrupt_pending(id);
322}
Jeenu Viswambharand55a4452017-09-22 08:32:09 +0100323
324unsigned int plat_ic_set_priority_mask(unsigned int mask)
325{
326 return gicv2_set_pmr(mask);
327}
Jeenu Viswambharan4ee8d0b2017-10-24 15:13:59 +0100328
329unsigned int plat_ic_get_interrupt_id(unsigned int raw)
330{
331 unsigned int id = (raw & INT_ID_MASK);
332
Maheedhar Bollapalli7e288d12024-04-25 10:34:02 +0530333 if (id == GIC_SPURIOUS_INTERRUPT) {
Jeenu Viswambharan4ee8d0b2017-10-24 15:13:59 +0100334 id = INTR_ID_UNAVAILABLE;
Maheedhar Bollapalli7e288d12024-04-25 10:34:02 +0530335 }
Jeenu Viswambharan4ee8d0b2017-10-24 15:13:59 +0100336
337 return id;
338}