Lines Matching refs:id
68 * the id of the pending interrupt. The type of interrupt depends upon the
69 * id value as follows.
70 * 1. id = PENDING_G1S_INTID (1020) is reported as a S-EL1 interrupt
71 * 2. id = PENDING_G1NS_INTID (1021) is reported as a Non-secure interrupt.
72 * 3. id = GIC_SPURIOUS_INTERRUPT (1023) is reported as an invalid interrupt
74 * 4. All other interrupt id's are reported as EL3 interrupt.
114 * This function returns the type of the interrupt `id`, depending on how
117 uint32_t plat_ic_get_interrupt_type(uint32_t id)
122 group = gicv3_get_interrupt_group(id, plat_my_core_pos());
139 * the processing of the interrupt corresponding to the `id` has
142 void plat_ic_end_of_interrupt(uint32_t id)
145 gicv3_end_of_interrupt(id);
203 int plat_ic_is_spi(unsigned int id)
205 return (id >= MIN_SPI_ID) && (id <= MAX_SPI_ID);
208 int plat_ic_is_ppi(unsigned int id)
210 return (id >= MIN_PPI_ID) && (id < MIN_SPI_ID);
213 int plat_ic_is_sgi(unsigned int id)
215 return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID);
218 unsigned int plat_ic_get_interrupt_active(unsigned int id)
220 return gicv3_get_interrupt_active(id, plat_my_core_pos());
223 void plat_ic_enable_interrupt(unsigned int id)
225 gicv3_enable_interrupt(id, plat_my_core_pos());
228 void plat_ic_disable_interrupt(unsigned int id)
230 gicv3_disable_interrupt(id, plat_my_core_pos());
233 void plat_ic_set_interrupt_priority(unsigned int id, unsigned int priority)
235 gicv3_set_interrupt_priority(id, plat_my_core_pos(), priority);
248 void plat_ic_set_interrupt_type(unsigned int id, unsigned int type)
268 gicv3_set_interrupt_group(id, plat_my_core_pos(), group);
307 void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,
325 gicv3_set_spi_routing(id, irm, mpidr);
328 void plat_ic_set_interrupt_pending(unsigned int id)
331 assert(id >= MIN_PPI_ID);
332 gicv3_set_interrupt_pending(id, plat_my_core_pos());
335 void plat_ic_clear_interrupt_pending(unsigned int id)
338 assert(id >= MIN_PPI_ID);
339 gicv3_clear_interrupt_pending(id, plat_my_core_pos());
349 unsigned int id = raw & INT_ID_MASK;
351 return gicv3_is_intr_id_special_identifier(id) ?
352 INTR_ID_UNAVAILABLE : id;
393 * the processing of the interrupt corresponding to the `id` has
396 void plat_ic_end_of_interrupt(uint32_t id)
399 gicv3_end_of_interrupt_sel1(id);