drivers/arm/gic/arm_gic.c
/*******************************************************************************
 * This functions writes the GIC cpu interface End Of Interrupt register with
 * the passed value to finish handling the active interrupt
 ******************************************************************************/
This functions writes the GIC cpu interface End Of Interrupt register with
the passed value to finish handling the active interrupt
This functions writes the GIC cpu interface End Of Interrupt register with the passed value to finish handling the active interrupt
void arm_gic_end_of_interrupt(uint32_t id)
{
	assert(g_gicc_base);
	gicc_write_EOIR(g_gicc_base, id);
}
void arm_gic_end_of_interrupt ( uint32_t id ) { assert ( g_gicc_base ) ; gicc_write_EOIR ( g_gicc_base , id ) ; }
This functions writes the GIC cpu interface End Of Interrupt register with
 the passed value to finish handling the active interrupt
This functions writes the GIC cpu interface End Of Interrupt register with the passed value to finish handling the active interrupt