drivers/arm/gic/arm_gic.c
/*******************************************************************************
 * This function returns the type of the highest priority pending interrupt at
 * the GIC cpu interface. INTR_TYPE_INVAL is returned when there is no
 * interrupt pending.
 ******************************************************************************/
This function returns the type of the highest priority pending interrupt at
the GIC cpu interface. INTR_TYPE_INVAL is returned when there is no
interrupt pending.
This function returns the type of the highest priority pending interrupt at the GIC cpu interface . INTR_TYPE_INVAL is returned when there is no interrupt pending .
uint32_t arm_gic_get_pending_interrupt_type(void)
{
	uint32_t id;
	assert(g_gicc_base);
	id = gicc_read_hppir(g_gicc_base) & INT_ID_MASK;
	if (id < 1022)
		return INTR_TYPE_S_EL1;
	if (id == GIC_SPURIOUS_INTERRUPT)
		return INTR_TYPE_INVAL;
	return INTR_TYPE_NS;
}
uint32_t arm_gic_get_pending_interrupt_type ( void ) { uint32_t id ; assert ( g_gicc_base ) ; id = gicc_read_hppir ( g_gicc_base ) & INT_ID_MASK ; if ( id < 1022 ) return INTR_TYPE_S_EL1 ; if ( id == GIC_SPURIOUS_INTERRUPT ) return INTR_TYPE_INVAL ; return INTR_TYPE_NS ; }
This function returns the type of the highest priority pending interrupt at
 the GIC cpu interface.
This function returns the type of the highest priority pending interrupt at the GIC cpu interface .
/* Assume that all secure interrupts are S-EL1 interrupts */