39 	assert(driver_data != NULL);  in gicv2_cpuif_enable()
62 	assert(driver_data != NULL);  in gicv2_cpuif_disable()
81 	assert(driver_data != NULL);  in gicv2_pcpu_distif_init()
105 	assert(driver_data != NULL);  in gicv2_distif_init()
132 	assert(plat_driver_data != NULL);  in gicv2_driver_init()
137 			plat_driver_data->interrupt_props != NULL : 1);  in gicv2_driver_init()
182 	assert(driver_data != NULL);  in gicv2_is_fiq_enabled()
199 	assert(driver_data != NULL);  in gicv2_get_pending_interrupt_type()
214 	assert(driver_data != NULL);  in gicv2_get_pending_interrupt_id()
236 	assert(driver_data != NULL);  in gicv2_acknowledge_interrupt()
248 	assert(driver_data != NULL);  in gicv2_end_of_interrupt()
271 	assert(driver_data != NULL);  in gicv2_get_interrupt_group()
283 	assert(driver_data != NULL);  in gicv2_get_running_priority()
297 	assert(driver_data != NULL);  in gicv2_set_pe_target_mask()
299 	assert(driver_data->target_masks != NULL);  in gicv2_set_pe_target_mask()
335 	assert(driver_data != NULL);  in gicv2_get_interrupt_active()
347 	assert(driver_data != NULL);  in gicv2_enable_interrupt()
364 	assert(driver_data != NULL);  in gicv2_disable_interrupt()
382 	assert(driver_data != NULL);  in gicv2_set_interrupt_priority()
395 	assert(driver_data != NULL);  in gicv2_set_interrupt_group()
425 	assert(driver_data != NULL);  in gicv2_raise_sgi()
434 	assert(driver_data->target_masks != NULL);  in gicv2_raise_sgi()
461 	assert(driver_data != NULL);  in gicv2_set_spi_routing()
470 	assert(driver_data->target_masks != NULL);  in gicv2_set_spi_routing()
492 	assert(driver_data != NULL);  in gicv2_clear_interrupt_pending()
511 	assert(driver_data != NULL);  in gicv2_set_interrupt_pending()
533 	assert(driver_data != NULL);  in gicv2_set_pmr()