Lines Matching refs:assert
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()
349 assert(gicv3_driver_data != NULL); in gicv3_cpuif_disable()
350 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_cpuif_disable()
351 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_cpuif_disable()
353 assert(IS_IN_EL3()); in gicv3_cpuif_disable()
374 assert(gicr_base != 0UL); in gicv3_cpuif_disable()
395 assert(IS_IN_EL3()); in gicv3_get_pending_interrupt_id()
420 assert(IS_IN_EL3()); in gicv3_get_pending_interrupt_type()
439 assert(IS_IN_EL3()); in gicv3_get_interrupt_group()
440 assert(gicv3_driver_data != NULL); in gicv3_get_interrupt_group()
443 assert((id < PENDING_G1S_INTID) || (id >= MIN_LPI_ID)); in gicv3_get_interrupt_group()
444 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_get_interrupt_group()
458 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_get_interrupt_group()
464 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_get_interrupt_group()
503 assert(gicv3_driver_data != NULL); in gicv3_its_save_disable()
504 assert(IS_IN_EL3()); in gicv3_its_save_disable()
505 assert(its_ctx != NULL); in gicv3_its_save_disable()
506 assert(gits_base != 0U); in gicv3_its_save_disable()
537 assert(gicv3_driver_data != NULL); in gicv3_its_restore()
538 assert(IS_IN_EL3()); in gicv3_its_restore()
539 assert(its_ctx != NULL); in gicv3_its_restore()
540 assert(gits_base != 0U); in gicv3_its_restore()
543 assert((gits_read_ctlr(gits_base) & GITS_CTLR_ENABLED_BIT) == 0U); in gicv3_its_restore()
544 assert((gits_read_ctlr(gits_base) & GITS_CTLR_QUIESCENT_BIT) != 0U); in gicv3_its_restore()
567 assert(gicv3_driver_data != NULL); in gicv3_rdistif_save()
568 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_rdistif_save()
569 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_rdistif_save()
570 assert(IS_IN_EL3()); in gicv3_rdistif_save()
571 assert(rdist_ctx != NULL); in gicv3_rdistif_save()
642 assert(gicv3_driver_data != NULL); in gicv3_rdistif_init_restore()
643 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_rdistif_init_restore()
644 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_rdistif_init_restore()
645 assert(IS_IN_EL3()); in gicv3_rdistif_init_restore()
646 assert(rdist_ctx != NULL); in gicv3_rdistif_init_restore()
752 assert(gicv3_driver_data != NULL); in gicv3_distif_save()
753 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_distif_save()
754 assert(IS_IN_EL3()); in gicv3_distif_save()
755 assert(dist_ctx != NULL); in gicv3_distif_save()
839 assert(gicv3_driver_data != NULL); in gicv3_distif_init_restore()
840 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_distif_init_restore()
841 assert(IS_IN_EL3()); in gicv3_distif_init_restore()
842 assert(dist_ctx != NULL); in gicv3_distif_init_restore()
947 assert(gicv3_driver_data != NULL); in gicv3_get_interrupt_active()
948 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_get_interrupt_active()
949 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_get_interrupt_active()
950 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_get_interrupt_active()
976 assert(gicv3_driver_data != NULL); in gicv3_enable_interrupt()
977 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_enable_interrupt()
978 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_enable_interrupt()
979 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_enable_interrupt()
1010 assert(gicv3_driver_data != NULL); in gicv3_disable_interrupt()
1011 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_disable_interrupt()
1012 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_disable_interrupt()
1013 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_disable_interrupt()
1053 assert(gicv3_driver_data != NULL); in gicv3_set_interrupt_priority()
1054 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_set_interrupt_priority()
1055 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_set_interrupt_priority()
1056 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_set_interrupt_priority()
1085 assert(gicv3_driver_data != NULL); in gicv3_set_interrupt_group()
1086 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_set_interrupt_group()
1087 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_set_interrupt_group()
1088 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_set_interrupt_group()
1104 assert(false); in gicv3_set_interrupt_group()
1149 assert((sgi_num >= MIN_SGI_ID) && (sgi_num < MIN_PPI_ID)); in gicv3_raise_sgi()
1161 assert(aff0 < GICV3_MAX_SGI_TARGETS); in gicv3_raise_sgi()
1185 assert(false); in gicv3_raise_sgi()
1209 assert(gicv3_driver_data != NULL); in gicv3_set_spi_routing()
1210 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_set_spi_routing()
1212 assert((irm == GICV3_IRM_ANY) || (irm == GICV3_IRM_PE)); in gicv3_set_spi_routing()
1214 assert(IS_SPI(id)); in gicv3_set_spi_routing()
1242 assert(gicv3_driver_data != NULL); in gicv3_clear_interrupt_pending()
1243 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_clear_interrupt_pending()
1244 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_clear_interrupt_pending()
1245 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_clear_interrupt_pending()
1277 assert(gicv3_driver_data != NULL); in gicv3_set_interrupt_pending()
1278 assert(gicv3_driver_data->gicd_base != 0U); in gicv3_set_interrupt_pending()
1279 assert(proc_num < gicv3_driver_data->rdistif_num); in gicv3_set_interrupt_pending()
1280 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in gicv3_set_interrupt_pending()
1341 assert(gicr_base != 0UL); in gicv3_deactivate_priority()
1367 assert(gicv3_driver_data->gicr_base == 0U); in gicv3_rdistif_probe()
1372 assert((read_sctlr() & SCTLR_C_BIT) != 0U); in gicv3_rdistif_probe()
1374 assert((read_sctlr_el3() & SCTLR_C_BIT) != 0U); in gicv3_rdistif_probe()