1f14d1886SSoby Mathew /* 2f14d1886SSoby Mathew * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved. 3f14d1886SSoby Mathew * 4*82cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 5f14d1886SSoby Mathew */ 6f14d1886SSoby Mathew #include <assert.h> 7f14d1886SSoby Mathew #include <gic_common.h> 8f14d1886SSoby Mathew #include <gicv2.h> 9f14d1886SSoby Mathew #include <interrupt_mgmt.h> 10f14d1886SSoby Mathew 11f14d1886SSoby Mathew /* 12f14d1886SSoby Mathew * The following platform GIC functions are weakly defined. They 13f14d1886SSoby Mathew * provide typical implementations that may be re-used by multiple 14f14d1886SSoby Mathew * platforms but may also be overridden by a platform if required. 15f14d1886SSoby Mathew */ 16f14d1886SSoby Mathew #pragma weak plat_ic_get_pending_interrupt_id 17f14d1886SSoby Mathew #pragma weak plat_ic_get_pending_interrupt_type 18f14d1886SSoby Mathew #pragma weak plat_ic_acknowledge_interrupt 19f14d1886SSoby Mathew #pragma weak plat_ic_get_interrupt_type 20f14d1886SSoby Mathew #pragma weak plat_ic_end_of_interrupt 21f14d1886SSoby Mathew #pragma weak plat_interrupt_type_to_line 22f14d1886SSoby Mathew 23f14d1886SSoby Mathew /* 24f14d1886SSoby Mathew * This function returns the highest priority pending interrupt at 25f14d1886SSoby Mathew * the Interrupt controller 26f14d1886SSoby Mathew */ 27f14d1886SSoby Mathew uint32_t plat_ic_get_pending_interrupt_id(void) 28f14d1886SSoby Mathew { 29f14d1886SSoby Mathew unsigned int id; 30f14d1886SSoby Mathew 31f14d1886SSoby Mathew id = gicv2_get_pending_interrupt_id(); 32f14d1886SSoby Mathew if (id == GIC_SPURIOUS_INTERRUPT) 33f14d1886SSoby Mathew return INTR_ID_UNAVAILABLE; 34f14d1886SSoby Mathew 35f14d1886SSoby Mathew return id; 36f14d1886SSoby Mathew } 37f14d1886SSoby Mathew 38f14d1886SSoby Mathew /* 39f14d1886SSoby Mathew * This function returns the type of the highest priority pending interrupt 40f14d1886SSoby Mathew * at the Interrupt controller. In the case of GICv2, the Highest Priority 41f14d1886SSoby Mathew * Pending interrupt register (`GICC_HPPIR`) is read to determine the id of 42f14d1886SSoby Mathew * the pending interrupt. The type of interrupt depends upon the id value 43f14d1886SSoby Mathew * as follows. 44f14d1886SSoby Mathew * 1. id < PENDING_G1_INTID (1022) is reported as a S-EL1 interrupt 45f14d1886SSoby Mathew * 2. id = PENDING_G1_INTID (1022) is reported as a Non-secure interrupt. 46f14d1886SSoby Mathew * 3. id = GIC_SPURIOUS_INTERRUPT (1023) is reported as an invalid interrupt 47f14d1886SSoby Mathew * type. 48f14d1886SSoby Mathew */ 49f14d1886SSoby Mathew uint32_t plat_ic_get_pending_interrupt_type(void) 50f14d1886SSoby Mathew { 51f14d1886SSoby Mathew unsigned int id; 52f14d1886SSoby Mathew 53f14d1886SSoby Mathew id = gicv2_get_pending_interrupt_type(); 54f14d1886SSoby Mathew 55f14d1886SSoby Mathew /* Assume that all secure interrupts are S-EL1 interrupts */ 56f14d1886SSoby Mathew if (id < PENDING_G1_INTID) 57f14d1886SSoby Mathew return INTR_TYPE_S_EL1; 58f14d1886SSoby Mathew 59f14d1886SSoby Mathew if (id == GIC_SPURIOUS_INTERRUPT) 60f14d1886SSoby Mathew return INTR_TYPE_INVAL; 61f14d1886SSoby Mathew 62f14d1886SSoby Mathew return INTR_TYPE_NS; 63f14d1886SSoby Mathew } 64f14d1886SSoby Mathew 65f14d1886SSoby Mathew /* 66f14d1886SSoby Mathew * This function returns the highest priority pending interrupt at 67f14d1886SSoby Mathew * the Interrupt controller and indicates to the Interrupt controller 68f14d1886SSoby Mathew * that the interrupt processing has started. 69f14d1886SSoby Mathew */ 70f14d1886SSoby Mathew uint32_t plat_ic_acknowledge_interrupt(void) 71f14d1886SSoby Mathew { 72f14d1886SSoby Mathew return gicv2_acknowledge_interrupt(); 73f14d1886SSoby Mathew } 74f14d1886SSoby Mathew 75f14d1886SSoby Mathew /* 76f14d1886SSoby Mathew * This function returns the type of the interrupt `id`, depending on how 77f14d1886SSoby Mathew * the interrupt has been configured in the interrupt controller 78f14d1886SSoby Mathew */ 79f14d1886SSoby Mathew uint32_t plat_ic_get_interrupt_type(uint32_t id) 80f14d1886SSoby Mathew { 81f14d1886SSoby Mathew unsigned int type; 82f14d1886SSoby Mathew 83f14d1886SSoby Mathew type = gicv2_get_interrupt_group(id); 84f14d1886SSoby Mathew 85f14d1886SSoby Mathew /* Assume that all secure interrupts are S-EL1 interrupts */ 86f14d1886SSoby Mathew return (type) ? INTR_TYPE_NS : INTR_TYPE_S_EL1; 87f14d1886SSoby Mathew } 88f14d1886SSoby Mathew 89f14d1886SSoby Mathew /* 90f14d1886SSoby Mathew * This functions is used to indicate to the interrupt controller that 91f14d1886SSoby Mathew * the processing of the interrupt corresponding to the `id` has 92f14d1886SSoby Mathew * finished. 93f14d1886SSoby Mathew */ 94f14d1886SSoby Mathew void plat_ic_end_of_interrupt(uint32_t id) 95f14d1886SSoby Mathew { 96f14d1886SSoby Mathew gicv2_end_of_interrupt(id); 97f14d1886SSoby Mathew } 98f14d1886SSoby Mathew 99f14d1886SSoby Mathew /* 100f14d1886SSoby Mathew * An ARM processor signals interrupt exceptions through the IRQ and FIQ pins. 101f14d1886SSoby Mathew * The interrupt controller knows which pin/line it uses to signal a type of 102f14d1886SSoby Mathew * interrupt. It lets the interrupt management framework determine 103f14d1886SSoby Mathew * for a type of interrupt and security state, which line should be used in the 104f14d1886SSoby Mathew * SCR_EL3 to control its routing to EL3. The interrupt line is represented 105f14d1886SSoby Mathew * as the bit position of the IRQ or FIQ bit in the SCR_EL3. 106f14d1886SSoby Mathew */ 107f14d1886SSoby Mathew uint32_t plat_interrupt_type_to_line(uint32_t type, 108f14d1886SSoby Mathew uint32_t security_state) 109f14d1886SSoby Mathew { 110f14d1886SSoby Mathew assert(type == INTR_TYPE_S_EL1 || 111f14d1886SSoby Mathew type == INTR_TYPE_EL3 || 112f14d1886SSoby Mathew type == INTR_TYPE_NS); 113f14d1886SSoby Mathew 114f14d1886SSoby Mathew /* Non-secure interrupts are signaled on the IRQ line always */ 115f14d1886SSoby Mathew if (type == INTR_TYPE_NS) 116f14d1886SSoby Mathew return __builtin_ctz(SCR_IRQ_BIT); 117f14d1886SSoby Mathew 118f14d1886SSoby Mathew /* 119f14d1886SSoby Mathew * Secure interrupts are signaled using the IRQ line if the FIQ is 120f14d1886SSoby Mathew * not enabled else they are signaled using the FIQ line. 121f14d1886SSoby Mathew */ 122f14d1886SSoby Mathew return ((gicv2_is_fiq_enabled()) ? __builtin_ctz(SCR_FIQ_BIT) : 123f14d1886SSoby Mathew __builtin_ctz(SCR_IRQ_BIT)); 124f14d1886SSoby Mathew } 125