212 	unsigned int id;  in gicv2_get_pending_interrupt_id()  local
217 	id = gicc_read_hppir(driver_data->gicc_base) & INT_ID_MASK;  in gicv2_get_pending_interrupt_id()
223 	if (id == PENDING_G1_INTID)  in gicv2_get_pending_interrupt_id()
224 		id = gicc_read_ahppir(driver_data->gicc_base) & INT_ID_MASK;  in gicv2_get_pending_interrupt_id()
226 	return id;  in gicv2_get_pending_interrupt_id()
246 void gicv2_end_of_interrupt(unsigned int id)  in gicv2_end_of_interrupt()  argument
260 	gicc_write_EOIR(driver_data->gicc_base, id);  in gicv2_end_of_interrupt()
269 unsigned int gicv2_get_interrupt_group(unsigned int id)  in gicv2_get_interrupt_group()  argument
274 	return gicd_get_igroupr(driver_data->gicd_base, id);  in gicv2_get_interrupt_group()
333 unsigned int gicv2_get_interrupt_active(unsigned int id)  in gicv2_get_interrupt_active()  argument
337 	assert(id <= MAX_SPI_ID);  in gicv2_get_interrupt_active()
339 	return gicd_get_isactiver(driver_data->gicd_base, id);  in gicv2_get_interrupt_active()
345 void gicv2_enable_interrupt(unsigned int id)  in gicv2_enable_interrupt()  argument
349 	assert(id <= MAX_SPI_ID);  in gicv2_enable_interrupt()
356 	gicd_set_isenabler(driver_data->gicd_base, id);  in gicv2_enable_interrupt()
362 void gicv2_disable_interrupt(unsigned int id)  in gicv2_disable_interrupt()  argument
366 	assert(id <= MAX_SPI_ID);  in gicv2_disable_interrupt()
372 	gicd_set_icenabler(driver_data->gicd_base, id);  in gicv2_disable_interrupt()
380 void gicv2_set_interrupt_priority(unsigned int id, unsigned int priority)  in gicv2_set_interrupt_priority()  argument
384 	assert(id <= MAX_SPI_ID);  in gicv2_set_interrupt_priority()
386 	gicd_set_ipriorityr(driver_data->gicd_base, id, priority);  in gicv2_set_interrupt_priority()
393 void gicv2_set_interrupt_group(unsigned int id, unsigned int group)  in gicv2_set_interrupt_group()  argument
397 	assert(id <= MAX_SPI_ID);  in gicv2_set_interrupt_group()
403 		gicd_set_igroupr(driver_data->gicd_base, id);  in gicv2_set_interrupt_group()
406 		gicd_clr_igroupr(driver_data->gicd_base, id);  in gicv2_set_interrupt_group()
457 void gicv2_set_spi_routing(unsigned int id, int proc_num)  in gicv2_set_spi_routing()  argument
464 	assert((id >= MIN_SPI_ID) && (id <= MAX_SPI_ID));  in gicv2_set_spi_routing()
484 	gicd_set_itargetsr(driver_data->gicd_base, id, target);  in gicv2_set_spi_routing()
490 void gicv2_clear_interrupt_pending(unsigned int id)  in gicv2_clear_interrupt_pending()  argument
496 	assert(id >= MIN_PPI_ID);  in gicv2_clear_interrupt_pending()
502 	gicd_set_icpendr(driver_data->gicd_base, id);  in gicv2_clear_interrupt_pending()
509 void gicv2_set_interrupt_pending(unsigned int id)  in gicv2_set_interrupt_pending()  argument
515 	assert(id >= MIN_PPI_ID);  in gicv2_set_interrupt_pending()
522 	gicd_set_ispendr(driver_data->gicd_base, id);  in gicv2_set_interrupt_pending()
553 void gicv2_interrupt_set_cfg(unsigned int id, unsigned int cfg)  in gicv2_interrupt_set_cfg()  argument
555 	gicd_set_icfgr(driver_data->gicd_base, id, cfg);  in gicv2_interrupt_set_cfg()