105 	assert(plat_driver_data != NULL);  in gicv3_driver_init()
106 	assert(plat_driver_data->gicd_base != 0U);  in gicv3_driver_init()
107 	assert(plat_driver_data->rdistif_num != 0U);  in gicv3_driver_init()
108 	assert(plat_driver_data->rdistif_base_addrs != NULL);  in gicv3_driver_init()
110 	assert(IS_IN_EL3());  in gicv3_driver_init()
112 	assert((plat_driver_data->interrupt_props_num != 0U) ?  in gicv3_driver_init()
117 	assert((read_id_pfr1() &  in gicv3_driver_init()
120 	assert((read_id_aa64pfr0_el1() &  in gicv3_driver_init()
130 	assert(gic_version == ARCH_REV_GICV3);  in gicv3_driver_init()
190 	assert(gicv3_driver_data != NULL);  in gicv3_distif_init()
191 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_distif_init()
193 	assert(IS_IN_EL3());  in gicv3_distif_init()
233 	assert(gicv3_driver_data != NULL);  in gicv3_rdistif_init()
234 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_rdistif_init()
235 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_rdistif_init()
236 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_rdistif_init()
239 	assert((ctlr & CTLR_ARE_S_BIT) != 0U);  in gicv3_rdistif_init()
241 	assert(IS_IN_EL3());  in gicv3_rdistif_init()
247 	assert(gicr_base != 0U);  in gicv3_rdistif_init()
283 	assert(gicv3_driver_data != NULL);  in gicv3_cpuif_enable()
284 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_cpuif_enable()
285 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_cpuif_enable()
286 	assert(IS_IN_EL3());  in gicv3_cpuif_enable()
348 	assert(gicv3_driver_data != NULL);  in gicv3_cpuif_disable()
349 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_cpuif_disable()
350 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_cpuif_disable()
352 	assert(IS_IN_EL3());  in gicv3_cpuif_disable()
373 	assert(gicr_base != 0UL);  in gicv3_cpuif_disable()
394 	assert(IS_IN_EL3());  in gicv3_get_pending_interrupt_id()
419 	assert(IS_IN_EL3());  in gicv3_get_pending_interrupt_type()
438 	assert(IS_IN_EL3());  in gicv3_get_interrupt_group()
439 	assert(gicv3_driver_data != NULL);  in gicv3_get_interrupt_group()
442 	assert((id < PENDING_G1S_INTID) || (id >= MIN_LPI_ID));  in gicv3_get_interrupt_group()
443 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_get_interrupt_group()
453 		assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_get_interrupt_group()
459 		assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_get_interrupt_group()
498 	assert(gicv3_driver_data != NULL);  in gicv3_its_save_disable()
499 	assert(IS_IN_EL3());  in gicv3_its_save_disable()
500 	assert(its_ctx != NULL);  in gicv3_its_save_disable()
501 	assert(gits_base != 0U);  in gicv3_its_save_disable()
532 	assert(gicv3_driver_data != NULL);  in gicv3_its_restore()
533 	assert(IS_IN_EL3());  in gicv3_its_restore()
534 	assert(its_ctx != NULL);  in gicv3_its_restore()
535 	assert(gits_base != 0U);  in gicv3_its_restore()
538 	assert((gits_read_ctlr(gits_base) & GITS_CTLR_ENABLED_BIT) == 0U);  in gicv3_its_restore()
539 	assert((gits_read_ctlr(gits_base) & GITS_CTLR_QUIESCENT_BIT) != 0U);  in gicv3_its_restore()
562 	assert(gicv3_driver_data != NULL);  in gicv3_rdistif_save()
563 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_rdistif_save()
564 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_rdistif_save()
565 	assert(IS_IN_EL3());  in gicv3_rdistif_save()
566 	assert(rdist_ctx != NULL);  in gicv3_rdistif_save()
637 	assert(gicv3_driver_data != NULL);  in gicv3_rdistif_init_restore()
638 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_rdistif_init_restore()
639 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_rdistif_init_restore()
640 	assert(IS_IN_EL3());  in gicv3_rdistif_init_restore()
641 	assert(rdist_ctx != NULL);  in gicv3_rdistif_init_restore()
745 	assert(gicv3_driver_data != NULL);  in gicv3_distif_save()
746 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_distif_save()
747 	assert(IS_IN_EL3());  in gicv3_distif_save()
748 	assert(dist_ctx != NULL);  in gicv3_distif_save()
832 	assert(gicv3_driver_data != NULL);  in gicv3_distif_init_restore()
833 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_distif_init_restore()
834 	assert(IS_IN_EL3());  in gicv3_distif_init_restore()
835 	assert(dist_ctx != NULL);  in gicv3_distif_init_restore()
940 	assert(gicv3_driver_data != NULL);  in gicv3_get_interrupt_active()
941 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_get_interrupt_active()
942 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_get_interrupt_active()
943 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_get_interrupt_active()
966 	assert(gicv3_driver_data != NULL);  in gicv3_enable_interrupt()
967 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_enable_interrupt()
968 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_enable_interrupt()
969 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_enable_interrupt()
998 	assert(gicv3_driver_data != NULL);  in gicv3_disable_interrupt()
999 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_disable_interrupt()
1000 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_disable_interrupt()
1001 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_disable_interrupt()
1039 	assert(gicv3_driver_data != NULL);  in gicv3_set_interrupt_priority()
1040 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_set_interrupt_priority()
1041 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_set_interrupt_priority()
1042 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_set_interrupt_priority()
1068 	assert(gicv3_driver_data != NULL);  in gicv3_set_interrupt_group()
1069 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_set_interrupt_group()
1070 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_set_interrupt_group()
1071 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_set_interrupt_group()
1087 		assert(false);  in gicv3_set_interrupt_group()
1129 	assert((sgi_num >= MIN_SGI_ID) && (sgi_num < MIN_PPI_ID));  in gicv3_raise_sgi()
1141 	assert(aff0 < GICV3_MAX_SGI_TARGETS);  in gicv3_raise_sgi()
1165 		assert(false);  in gicv3_raise_sgi()
1189 	assert(gicv3_driver_data != NULL);  in gicv3_set_spi_routing()
1190 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_set_spi_routing()
1192 	assert((irm == GICV3_IRM_ANY) || (irm == GICV3_IRM_PE));  in gicv3_set_spi_routing()
1194 	assert(IS_SPI(id));  in gicv3_set_spi_routing()
1222 	assert(gicv3_driver_data != NULL);  in gicv3_clear_interrupt_pending()
1223 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_clear_interrupt_pending()
1224 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_clear_interrupt_pending()
1225 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_clear_interrupt_pending()
1255 	assert(gicv3_driver_data != NULL);  in gicv3_set_interrupt_pending()
1256 	assert(gicv3_driver_data->gicd_base != 0U);  in gicv3_set_interrupt_pending()
1257 	assert(proc_num < gicv3_driver_data->rdistif_num);  in gicv3_set_interrupt_pending()
1258 	assert(gicv3_driver_data->rdistif_base_addrs != NULL);  in gicv3_set_interrupt_pending()
1315 	assert(gicr_base != 0UL);  in gicv3_deactivate_priority()
1341 	assert(gicv3_driver_data->gicr_base == 0U);  in gicv3_rdistif_probe()
1346 		assert((read_sctlr() & SCTLR_C_BIT) != 0U);  in gicv3_rdistif_probe()
1348 		assert((read_sctlr_el3() & SCTLR_C_BIT) != 0U);  in gicv3_rdistif_probe()
1414 	assert(false);  in is_sgi_ppi()