drivers/arm/gic/arm_gic.c
/*******************************************************************************
 * This function returns the id of the highest priority pending interrupt at
 * the GIC cpu interface. INTR_ID_UNAVAILABLE is returned when there is no
 * interrupt pending.
 ******************************************************************************/
This function returns the id of the highest priority pending interrupt at
the GIC cpu interface. INTR_ID_UNAVAILABLE is returned when there is no
interrupt pending.
This function returns the id of the highest priority pending interrupt at the GIC cpu interface . INTR_ID_UNAVAILABLE is returned when there is no interrupt pending .
uint32_t arm_gic_get_pending_interrupt_id(void)
{
	uint32_t id;
	assert(g_gicc_base);
	id = gicc_read_hppir(g_gicc_base) & INT_ID_MASK;
	if (id < 1022)
		return id;
	if (id == 1023)
		return INTR_ID_UNAVAILABLE;
	return gicc_read_ahppir(g_gicc_base) & INT_ID_MASK;
}
uint32_t arm_gic_get_pending_interrupt_id ( void ) { uint32_t id ; assert ( g_gicc_base ) ; id = gicc_read_hppir ( g_gicc_base ) & INT_ID_MASK ; if ( id < 1022 ) return id ; if ( id == 1023 ) return INTR_ID_UNAVAILABLE ; return gicc_read_ahppir ( g_gicc_base ) & INT_ID_MASK ; }
This function returns the id of the highest priority pending interrupt at
 the GIC cpu interface.
This function returns the id of the highest priority pending interrupt at the GIC cpu interface .
/*
	 * Find out which non-secure interrupt it is under the assumption that
	 * the GICC_CTLR.AckCtl bit is 0.
	 */