xref: /rk3399_ARM-atf/plat/common/plat_gicv3.c (revision 885e26830499284a7718f825579d6ebeb8b6cd89)
1f14d1886SSoby Mathew /*
2e0ced7a9SAntonio Nino Diaz  * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
3dcb31ff7SFlorian Lugou  * Portions copyright (c) 2021-2022, ProvenRun S.A.S. All rights reserved.
4f14d1886SSoby Mathew  *
582cb2c1aSdp-arm  * SPDX-License-Identifier: BSD-3-Clause
6f14d1886SSoby Mathew  */
709d40e0eSAntonio Nino Diaz 
8f14d1886SSoby Mathew #include <assert.h>
9e0ced7a9SAntonio Nino Diaz #include <stdbool.h>
10f14d1886SSoby Mathew 
1109d40e0eSAntonio Nino Diaz #include <arch_helpers.h>
1209d40e0eSAntonio Nino Diaz #include <common/bl_common.h>
13*885e2683SClaus Pedersen #include <common/debug.h>
1409d40e0eSAntonio Nino Diaz #include <bl31/interrupt_mgmt.h>
1509d40e0eSAntonio Nino Diaz #include <drivers/arm/gic_common.h>
1609d40e0eSAntonio Nino Diaz #include <drivers/arm/gicv3.h>
1709d40e0eSAntonio Nino Diaz #include <lib/cassert.h>
1809d40e0eSAntonio Nino Diaz #include <plat/common/platform.h>
1909d40e0eSAntonio Nino Diaz 
203d8256b2SMasahiro Yamada #ifdef IMAGE_BL31
21f14d1886SSoby Mathew 
22f14d1886SSoby Mathew /*
23f14d1886SSoby Mathew  * The following platform GIC functions are weakly defined. They
24f14d1886SSoby Mathew  * provide typical implementations that may be re-used by multiple
25f14d1886SSoby Mathew  * platforms but may also be overridden by a platform if required.
26f14d1886SSoby Mathew  */
27f14d1886SSoby Mathew #pragma weak plat_ic_get_pending_interrupt_id
28f14d1886SSoby Mathew #pragma weak plat_ic_get_pending_interrupt_type
29f14d1886SSoby Mathew #pragma weak plat_ic_acknowledge_interrupt
30f14d1886SSoby Mathew #pragma weak plat_ic_get_interrupt_type
31f14d1886SSoby Mathew #pragma weak plat_ic_end_of_interrupt
32f14d1886SSoby Mathew #pragma weak plat_interrupt_type_to_line
33f14d1886SSoby Mathew 
34eb68ea9bSJeenu Viswambharan #pragma weak plat_ic_get_running_priority
35ca43b55dSJeenu Viswambharan #pragma weak plat_ic_is_spi
36ca43b55dSJeenu Viswambharan #pragma weak plat_ic_is_ppi
37ca43b55dSJeenu Viswambharan #pragma weak plat_ic_is_sgi
38cbd3f370SJeenu Viswambharan #pragma weak plat_ic_get_interrupt_active
39979225f4SJeenu Viswambharan #pragma weak plat_ic_enable_interrupt
40979225f4SJeenu Viswambharan #pragma weak plat_ic_disable_interrupt
41f3a86600SJeenu Viswambharan #pragma weak plat_ic_set_interrupt_priority
4274dce7faSJeenu Viswambharan #pragma weak plat_ic_set_interrupt_type
438db978b5SJeenu Viswambharan #pragma weak plat_ic_raise_el3_sgi
44dcb31ff7SFlorian Lugou #pragma weak plat_ic_raise_ns_sgi
45dcb31ff7SFlorian Lugou #pragma weak plat_ic_raise_s_el1_sgi
46fc529feeSJeenu Viswambharan #pragma weak plat_ic_set_spi_routing
47a2816a16SJeenu Viswambharan #pragma weak plat_ic_set_interrupt_pending
48a2816a16SJeenu Viswambharan #pragma weak plat_ic_clear_interrupt_pending
49eb68ea9bSJeenu Viswambharan 
50f14d1886SSoby Mathew CASSERT((INTR_TYPE_S_EL1 == INTR_GROUP1S) &&
51f14d1886SSoby Mathew 	(INTR_TYPE_NS == INTR_GROUP1NS) &&
52f14d1886SSoby Mathew 	(INTR_TYPE_EL3 == INTR_GROUP0), assert_interrupt_type_mismatch);
53f14d1886SSoby Mathew 
54f14d1886SSoby Mathew /*
55f14d1886SSoby Mathew  * This function returns the highest priority pending interrupt at
56f14d1886SSoby Mathew  * the Interrupt controller
57f14d1886SSoby Mathew  */
58f14d1886SSoby Mathew uint32_t plat_ic_get_pending_interrupt_id(void)
59f14d1886SSoby Mathew {
60f14d1886SSoby Mathew 	unsigned int irqnr;
61f14d1886SSoby Mathew 
62f14d1886SSoby Mathew 	assert(IS_IN_EL3());
63f14d1886SSoby Mathew 	irqnr = gicv3_get_pending_interrupt_id();
64e0ced7a9SAntonio Nino Diaz 	return gicv3_is_intr_id_special_identifier(irqnr) ?
65f14d1886SSoby Mathew 				INTR_ID_UNAVAILABLE : irqnr;
66f14d1886SSoby Mathew }
67f14d1886SSoby Mathew 
68f14d1886SSoby Mathew /*
69f14d1886SSoby Mathew  * This function returns the type of the highest priority pending interrupt
70f14d1886SSoby Mathew  * at the Interrupt controller. In the case of GICv3, the Highest Priority
71f14d1886SSoby Mathew  * Pending interrupt system register (`ICC_HPPIR0_EL1`) is read to determine
72f14d1886SSoby Mathew  * the id of the pending interrupt. The type of interrupt depends upon the
73f14d1886SSoby Mathew  * id value as follows.
74f14d1886SSoby Mathew  *   1. id = PENDING_G1S_INTID (1020) is reported as a S-EL1 interrupt
75f14d1886SSoby Mathew  *   2. id = PENDING_G1NS_INTID (1021) is reported as a Non-secure interrupt.
76f14d1886SSoby Mathew  *   3. id = GIC_SPURIOUS_INTERRUPT (1023) is reported as an invalid interrupt
77f14d1886SSoby Mathew  *           type.
78f14d1886SSoby Mathew  *   4. All other interrupt id's are reported as EL3 interrupt.
79f14d1886SSoby Mathew  */
80f14d1886SSoby Mathew uint32_t plat_ic_get_pending_interrupt_type(void)
81f14d1886SSoby Mathew {
82f14d1886SSoby Mathew 	unsigned int irqnr;
83e0ced7a9SAntonio Nino Diaz 	uint32_t type;
84f14d1886SSoby Mathew 
85f14d1886SSoby Mathew 	assert(IS_IN_EL3());
86f14d1886SSoby Mathew 	irqnr = gicv3_get_pending_interrupt_type();
87f14d1886SSoby Mathew 
88f14d1886SSoby Mathew 	switch (irqnr) {
89f14d1886SSoby Mathew 	case PENDING_G1S_INTID:
90e0ced7a9SAntonio Nino Diaz 		type = INTR_TYPE_S_EL1;
91e0ced7a9SAntonio Nino Diaz 		break;
92f14d1886SSoby Mathew 	case PENDING_G1NS_INTID:
93e0ced7a9SAntonio Nino Diaz 		type = INTR_TYPE_NS;
94e0ced7a9SAntonio Nino Diaz 		break;
95f14d1886SSoby Mathew 	case GIC_SPURIOUS_INTERRUPT:
96e0ced7a9SAntonio Nino Diaz 		type = INTR_TYPE_INVAL;
97e0ced7a9SAntonio Nino Diaz 		break;
98f14d1886SSoby Mathew 	default:
99e0ced7a9SAntonio Nino Diaz 		type = INTR_TYPE_EL3;
100e0ced7a9SAntonio Nino Diaz 		break;
101f14d1886SSoby Mathew 	}
102e0ced7a9SAntonio Nino Diaz 
103e0ced7a9SAntonio Nino Diaz 	return type;
104f14d1886SSoby Mathew }
105f14d1886SSoby Mathew 
106f14d1886SSoby Mathew /*
107f14d1886SSoby Mathew  * This function returns the highest priority pending interrupt at
108f14d1886SSoby Mathew  * the Interrupt controller and indicates to the Interrupt controller
109f14d1886SSoby Mathew  * that the interrupt processing has started.
110f14d1886SSoby Mathew  */
111f14d1886SSoby Mathew uint32_t plat_ic_acknowledge_interrupt(void)
112f14d1886SSoby Mathew {
113f14d1886SSoby Mathew 	assert(IS_IN_EL3());
114f14d1886SSoby Mathew 	return gicv3_acknowledge_interrupt();
115f14d1886SSoby Mathew }
116f14d1886SSoby Mathew 
117f14d1886SSoby Mathew /*
118f14d1886SSoby Mathew  * This function returns the type of the interrupt `id`, depending on how
119f14d1886SSoby Mathew  * the interrupt has been configured in the interrupt controller
120f14d1886SSoby Mathew  */
121f14d1886SSoby Mathew uint32_t plat_ic_get_interrupt_type(uint32_t id)
122f14d1886SSoby Mathew {
123f14d1886SSoby Mathew 	assert(IS_IN_EL3());
124f14d1886SSoby Mathew 	return gicv3_get_interrupt_type(id, plat_my_core_pos());
125f14d1886SSoby Mathew }
126f14d1886SSoby Mathew 
127f14d1886SSoby Mathew /*
128f14d1886SSoby Mathew  * This functions is used to indicate to the interrupt controller that
129f14d1886SSoby Mathew  * the processing of the interrupt corresponding to the `id` has
130f14d1886SSoby Mathew  * finished.
131f14d1886SSoby Mathew  */
132f14d1886SSoby Mathew void plat_ic_end_of_interrupt(uint32_t id)
133f14d1886SSoby Mathew {
134f14d1886SSoby Mathew 	assert(IS_IN_EL3());
135f14d1886SSoby Mathew 	gicv3_end_of_interrupt(id);
136f14d1886SSoby Mathew }
137f14d1886SSoby Mathew 
138f14d1886SSoby Mathew /*
139f14d1886SSoby Mathew  * An ARM processor signals interrupt exceptions through the IRQ and FIQ pins.
140f14d1886SSoby Mathew  * The interrupt controller knows which pin/line it uses to signal a type of
141f14d1886SSoby Mathew  * interrupt. It lets the interrupt management framework determine for a type of
142f14d1886SSoby Mathew  * interrupt and security state, which line should be used in the SCR_EL3 to
143f14d1886SSoby Mathew  * control its routing to EL3. The interrupt line is represented as the bit
144f14d1886SSoby Mathew  * position of the IRQ or FIQ bit in the SCR_EL3.
145f14d1886SSoby Mathew  */
146f14d1886SSoby Mathew uint32_t plat_interrupt_type_to_line(uint32_t type,
147f14d1886SSoby Mathew 				uint32_t security_state)
148f14d1886SSoby Mathew {
149e0ced7a9SAntonio Nino Diaz 	assert((type == INTR_TYPE_S_EL1) ||
150e0ced7a9SAntonio Nino Diaz 	       (type == INTR_TYPE_EL3) ||
151e0ced7a9SAntonio Nino Diaz 	       (type == INTR_TYPE_NS));
152f14d1886SSoby Mathew 
153f14d1886SSoby Mathew 	assert(sec_state_is_valid(security_state));
154f14d1886SSoby Mathew 	assert(IS_IN_EL3());
155f14d1886SSoby Mathew 
156f14d1886SSoby Mathew 	switch (type) {
157f14d1886SSoby Mathew 	case INTR_TYPE_S_EL1:
158f14d1886SSoby Mathew 		/*
159f14d1886SSoby Mathew 		 * The S-EL1 interrupts are signaled as IRQ in S-EL0/1 contexts
160f14d1886SSoby Mathew 		 * and as FIQ in the NS-EL0/1/2 contexts
161f14d1886SSoby Mathew 		 */
162f14d1886SSoby Mathew 		if (security_state == SECURE)
163f14d1886SSoby Mathew 			return __builtin_ctz(SCR_IRQ_BIT);
164f14d1886SSoby Mathew 		else
165f14d1886SSoby Mathew 			return __builtin_ctz(SCR_FIQ_BIT);
166a08a2014SDaniel Boulby 		assert(0); /* Unreachable */
167f14d1886SSoby Mathew 	case INTR_TYPE_NS:
168f14d1886SSoby Mathew 		/*
169f14d1886SSoby Mathew 		 * The Non secure interrupts will be signaled as FIQ in S-EL0/1
170f14d1886SSoby Mathew 		 * contexts and as IRQ in the NS-EL0/1/2 contexts.
171f14d1886SSoby Mathew 		 */
172f14d1886SSoby Mathew 		if (security_state == SECURE)
173f14d1886SSoby Mathew 			return __builtin_ctz(SCR_FIQ_BIT);
174f14d1886SSoby Mathew 		else
175f14d1886SSoby Mathew 			return __builtin_ctz(SCR_IRQ_BIT);
176a08a2014SDaniel Boulby 		assert(0); /* Unreachable */
177f14d1886SSoby Mathew 	case INTR_TYPE_EL3:
178f14d1886SSoby Mathew 		/*
179f14d1886SSoby Mathew 		 * The EL3 interrupts are signaled as FIQ in both S-EL0/1 and
180f14d1886SSoby Mathew 		 * NS-EL0/1/2 contexts
181f14d1886SSoby Mathew 		 */
182f14d1886SSoby Mathew 		return __builtin_ctz(SCR_FIQ_BIT);
1838ae0df93SJonathan Wright 	default:
1848ae0df93SJonathan Wright 		panic();
185f14d1886SSoby Mathew 	}
186f14d1886SSoby Mathew }
187eb68ea9bSJeenu Viswambharan 
188eb68ea9bSJeenu Viswambharan unsigned int plat_ic_get_running_priority(void)
189eb68ea9bSJeenu Viswambharan {
190eb68ea9bSJeenu Viswambharan 	return gicv3_get_running_priority();
191eb68ea9bSJeenu Viswambharan }
192eb68ea9bSJeenu Viswambharan 
193ca43b55dSJeenu Viswambharan int plat_ic_is_spi(unsigned int id)
194ca43b55dSJeenu Viswambharan {
195ca43b55dSJeenu Viswambharan 	return (id >= MIN_SPI_ID) && (id <= MAX_SPI_ID);
196ca43b55dSJeenu Viswambharan }
197ca43b55dSJeenu Viswambharan 
198ca43b55dSJeenu Viswambharan int plat_ic_is_ppi(unsigned int id)
199ca43b55dSJeenu Viswambharan {
200ca43b55dSJeenu Viswambharan 	return (id >= MIN_PPI_ID) && (id < MIN_SPI_ID);
201ca43b55dSJeenu Viswambharan }
202ca43b55dSJeenu Viswambharan 
203ca43b55dSJeenu Viswambharan int plat_ic_is_sgi(unsigned int id)
204ca43b55dSJeenu Viswambharan {
205ca43b55dSJeenu Viswambharan 	return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID);
206ca43b55dSJeenu Viswambharan }
207cbd3f370SJeenu Viswambharan 
208cbd3f370SJeenu Viswambharan unsigned int plat_ic_get_interrupt_active(unsigned int id)
209cbd3f370SJeenu Viswambharan {
210cbd3f370SJeenu Viswambharan 	return gicv3_get_interrupt_active(id, plat_my_core_pos());
211cbd3f370SJeenu Viswambharan }
212979225f4SJeenu Viswambharan 
213979225f4SJeenu Viswambharan void plat_ic_enable_interrupt(unsigned int id)
214979225f4SJeenu Viswambharan {
215979225f4SJeenu Viswambharan 	gicv3_enable_interrupt(id, plat_my_core_pos());
216979225f4SJeenu Viswambharan }
217979225f4SJeenu Viswambharan 
218979225f4SJeenu Viswambharan void plat_ic_disable_interrupt(unsigned int id)
219979225f4SJeenu Viswambharan {
220979225f4SJeenu Viswambharan 	gicv3_disable_interrupt(id, plat_my_core_pos());
221979225f4SJeenu Viswambharan }
222f3a86600SJeenu Viswambharan 
223f3a86600SJeenu Viswambharan void plat_ic_set_interrupt_priority(unsigned int id, unsigned int priority)
224f3a86600SJeenu Viswambharan {
225f3a86600SJeenu Viswambharan 	gicv3_set_interrupt_priority(id, plat_my_core_pos(), priority);
226f3a86600SJeenu Viswambharan }
22774dce7faSJeenu Viswambharan 
22874dce7faSJeenu Viswambharan int plat_ic_has_interrupt_type(unsigned int type)
22974dce7faSJeenu Viswambharan {
23074dce7faSJeenu Viswambharan 	assert((type == INTR_TYPE_EL3) || (type == INTR_TYPE_S_EL1) ||
23174dce7faSJeenu Viswambharan 			(type == INTR_TYPE_NS));
23274dce7faSJeenu Viswambharan 	return 1;
23374dce7faSJeenu Viswambharan }
23474dce7faSJeenu Viswambharan 
23574dce7faSJeenu Viswambharan void plat_ic_set_interrupt_type(unsigned int id, unsigned int type)
23674dce7faSJeenu Viswambharan {
23774dce7faSJeenu Viswambharan 	gicv3_set_interrupt_type(id, plat_my_core_pos(), type);
23874dce7faSJeenu Viswambharan }
2398db978b5SJeenu Viswambharan 
2408db978b5SJeenu Viswambharan void plat_ic_raise_el3_sgi(int sgi_num, u_register_t target)
2418db978b5SJeenu Viswambharan {
2428db978b5SJeenu Viswambharan 	/* Target must be a valid MPIDR in the system */
2438db978b5SJeenu Viswambharan 	assert(plat_core_pos_by_mpidr(target) >= 0);
2448db978b5SJeenu Viswambharan 
2458db978b5SJeenu Viswambharan 	/* Verify that this is a secure EL3 SGI */
246e0ced7a9SAntonio Nino Diaz 	assert(plat_ic_get_interrupt_type((unsigned int)sgi_num) ==
247e0ced7a9SAntonio Nino Diaz 					  INTR_TYPE_EL3);
2488db978b5SJeenu Viswambharan 
249dcb31ff7SFlorian Lugou 	gicv3_raise_sgi((unsigned int)sgi_num, GICV3_G0, target);
250dcb31ff7SFlorian Lugou }
251dcb31ff7SFlorian Lugou 
252dcb31ff7SFlorian Lugou void plat_ic_raise_ns_sgi(int sgi_num, u_register_t target)
253dcb31ff7SFlorian Lugou {
254dcb31ff7SFlorian Lugou 	/* Target must be a valid MPIDR in the system */
255dcb31ff7SFlorian Lugou 	assert(plat_core_pos_by_mpidr(target) >= 0);
256dcb31ff7SFlorian Lugou 
257dcb31ff7SFlorian Lugou 	/* Verify that this is a non-secure SGI */
258dcb31ff7SFlorian Lugou 	assert(plat_ic_get_interrupt_type((unsigned int)sgi_num) ==
259dcb31ff7SFlorian Lugou 					  INTR_TYPE_NS);
260dcb31ff7SFlorian Lugou 
261dcb31ff7SFlorian Lugou 	gicv3_raise_sgi((unsigned int)sgi_num, GICV3_G1NS, target);
262dcb31ff7SFlorian Lugou }
263dcb31ff7SFlorian Lugou 
264dcb31ff7SFlorian Lugou void plat_ic_raise_s_el1_sgi(int sgi_num, u_register_t target)
265dcb31ff7SFlorian Lugou {
266dcb31ff7SFlorian Lugou 	/* Target must be a valid MPIDR in the system */
267dcb31ff7SFlorian Lugou 	assert(plat_core_pos_by_mpidr(target) >= 0);
268dcb31ff7SFlorian Lugou 
269dcb31ff7SFlorian Lugou 	/* Verify that this is a secure EL1 SGI */
270dcb31ff7SFlorian Lugou 	assert(plat_ic_get_interrupt_type((unsigned int)sgi_num) ==
271dcb31ff7SFlorian Lugou 					  INTR_TYPE_S_EL1);
272dcb31ff7SFlorian Lugou 
273dcb31ff7SFlorian Lugou 	gicv3_raise_sgi((unsigned int)sgi_num, GICV3_G1S, target);
2748db978b5SJeenu Viswambharan }
275fc529feeSJeenu Viswambharan 
276fc529feeSJeenu Viswambharan void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,
277fc529feeSJeenu Viswambharan 		u_register_t mpidr)
278fc529feeSJeenu Viswambharan {
279fc529feeSJeenu Viswambharan 	unsigned int irm = 0;
280fc529feeSJeenu Viswambharan 
281fc529feeSJeenu Viswambharan 	switch (routing_mode) {
282fc529feeSJeenu Viswambharan 	case INTR_ROUTING_MODE_PE:
283fc529feeSJeenu Viswambharan 		assert(plat_core_pos_by_mpidr(mpidr) >= 0);
284fc529feeSJeenu Viswambharan 		irm = GICV3_IRM_PE;
285fc529feeSJeenu Viswambharan 		break;
286fc529feeSJeenu Viswambharan 	case INTR_ROUTING_MODE_ANY:
287fc529feeSJeenu Viswambharan 		irm = GICV3_IRM_ANY;
288fc529feeSJeenu Viswambharan 		break;
289fc529feeSJeenu Viswambharan 	default:
290a08a2014SDaniel Boulby 		assert(0); /* Unreachable */
291649c48f5SJonathan Wright 		break;
292fc529feeSJeenu Viswambharan 	}
293fc529feeSJeenu Viswambharan 
294fc529feeSJeenu Viswambharan 	gicv3_set_spi_routing(id, irm, mpidr);
295fc529feeSJeenu Viswambharan }
296a2816a16SJeenu Viswambharan 
297a2816a16SJeenu Viswambharan void plat_ic_set_interrupt_pending(unsigned int id)
298a2816a16SJeenu Viswambharan {
299a2816a16SJeenu Viswambharan 	/* Disallow setting SGIs pending */
300a2816a16SJeenu Viswambharan 	assert(id >= MIN_PPI_ID);
301a2816a16SJeenu Viswambharan 	gicv3_set_interrupt_pending(id, plat_my_core_pos());
302a2816a16SJeenu Viswambharan }
303a2816a16SJeenu Viswambharan 
304a2816a16SJeenu Viswambharan void plat_ic_clear_interrupt_pending(unsigned int id)
305a2816a16SJeenu Viswambharan {
306a2816a16SJeenu Viswambharan 	/* Disallow setting SGIs pending */
307a2816a16SJeenu Viswambharan 	assert(id >= MIN_PPI_ID);
308a2816a16SJeenu Viswambharan 	gicv3_clear_interrupt_pending(id, plat_my_core_pos());
309a2816a16SJeenu Viswambharan }
310d55a4450SJeenu Viswambharan 
311d55a4450SJeenu Viswambharan unsigned int plat_ic_set_priority_mask(unsigned int mask)
312d55a4450SJeenu Viswambharan {
313d55a4450SJeenu Viswambharan 	return gicv3_set_pmr(mask);
314d55a4450SJeenu Viswambharan }
3154ee8d0beSJeenu Viswambharan 
3164ee8d0beSJeenu Viswambharan unsigned int plat_ic_get_interrupt_id(unsigned int raw)
3174ee8d0beSJeenu Viswambharan {
318e0ced7a9SAntonio Nino Diaz 	unsigned int id = raw & INT_ID_MASK;
3194ee8d0beSJeenu Viswambharan 
320e0ced7a9SAntonio Nino Diaz 	return gicv3_is_intr_id_special_identifier(id) ?
321e0ced7a9SAntonio Nino Diaz 			INTR_ID_UNAVAILABLE : id;
3224ee8d0beSJeenu Viswambharan }
323f14d1886SSoby Mathew #endif
3243d8256b2SMasahiro Yamada #ifdef IMAGE_BL32
325f14d1886SSoby Mathew 
326f14d1886SSoby Mathew #pragma weak plat_ic_get_pending_interrupt_id
327f14d1886SSoby Mathew #pragma weak plat_ic_acknowledge_interrupt
328f14d1886SSoby Mathew #pragma weak plat_ic_end_of_interrupt
329f14d1886SSoby Mathew 
330877cf3ffSSoby Mathew /* In AArch32, the secure group1 interrupts are targeted to Secure PL1 */
331402b3cf8SJulius Werner #ifndef __aarch64__
332877cf3ffSSoby Mathew #define IS_IN_EL1()	IS_IN_SECURE()
333877cf3ffSSoby Mathew #endif
334877cf3ffSSoby Mathew 
335f14d1886SSoby Mathew /*
336f14d1886SSoby Mathew  * This function returns the highest priority pending interrupt at
337f14d1886SSoby Mathew  * the Interrupt controller
338f14d1886SSoby Mathew  */
339f14d1886SSoby Mathew uint32_t plat_ic_get_pending_interrupt_id(void)
340f14d1886SSoby Mathew {
341f14d1886SSoby Mathew 	unsigned int irqnr;
342f14d1886SSoby Mathew 
343f14d1886SSoby Mathew 	assert(IS_IN_EL1());
344f14d1886SSoby Mathew 	irqnr = gicv3_get_pending_interrupt_id_sel1();
345f14d1886SSoby Mathew 	return (irqnr == GIC_SPURIOUS_INTERRUPT) ?
346f14d1886SSoby Mathew 				INTR_ID_UNAVAILABLE : irqnr;
347f14d1886SSoby Mathew }
348f14d1886SSoby Mathew 
349f14d1886SSoby Mathew /*
350f14d1886SSoby Mathew  * This function returns the highest priority pending interrupt at
351f14d1886SSoby Mathew  * the Interrupt controller and indicates to the Interrupt controller
352f14d1886SSoby Mathew  * that the interrupt processing has started.
353f14d1886SSoby Mathew  */
354f14d1886SSoby Mathew uint32_t plat_ic_acknowledge_interrupt(void)
355f14d1886SSoby Mathew {
356f14d1886SSoby Mathew 	assert(IS_IN_EL1());
357f14d1886SSoby Mathew 	return gicv3_acknowledge_interrupt_sel1();
358f14d1886SSoby Mathew }
359f14d1886SSoby Mathew 
360f14d1886SSoby Mathew /*
361f14d1886SSoby Mathew  * This functions is used to indicate to the interrupt controller that
362f14d1886SSoby Mathew  * the processing of the interrupt corresponding to the `id` has
363f14d1886SSoby Mathew  * finished.
364f14d1886SSoby Mathew  */
365f14d1886SSoby Mathew void plat_ic_end_of_interrupt(uint32_t id)
366f14d1886SSoby Mathew {
367f14d1886SSoby Mathew 	assert(IS_IN_EL1());
368f14d1886SSoby Mathew 	gicv3_end_of_interrupt_sel1(id);
369f14d1886SSoby Mathew }
370f14d1886SSoby Mathew #endif
371