363 	assert(gd->gicd_base);  in gic_init_per_cpu()
365 	assert(gd->gicd_base && gd->gicc_base);  in gic_init_per_cpu()
390 	assert(it >= GIC_SGI_SEC_BASE && it <= GIC_SGI_SEC_MAX);  in gic_init_donate_sgi_to_ns()
393 	assert(!(gd->per_cpu_group_status & BIT32(it)) &&  in gic_init_donate_sgi_to_ns()
530 	assert(cpu_mmu_enabled());  in gic_init_base_addr()
542 		assert(vers == 4 || vers == 3);  in gic_init_base_addr()
544 		assert(vers == 2 || vers == 1);  in gic_init_base_addr()
649 	assert(gd == &gic_data);  in gic_it_configure()
673 	assert(gd == &gic_data);  in gic_it_set_cpu_mask()
676 	assert(!(io_read32(gd->gicd_base + GICD_IGROUPR(idx)) & mask));  in gic_it_set_cpu_mask()
693 	assert(gd == &gic_data);  in gic_it_set_prio()
696 	assert(!(io_read32(gd->gicd_base + GICD_IGROUPR(idx)) & mask));  in gic_it_set_prio()
711 	assert(type == IRQ_TYPE_EDGE_RISING || type == IRQ_TYPE_LEVEL_HIGH);  in gic_it_set_type()
729 	assert(gd == &gic_data);  in gic_it_enable()
732 	assert(!(io_read32(base + GICD_IGROUPR(idx)) & mask));  in gic_it_enable()
743 	assert(gd == &gic_data);  in gic_it_disable()
746 	assert(!(io_read32(gd->gicd_base + GICD_IGROUPR(idx)) & mask));  in gic_it_disable()
757 	assert(gd == &gic_data);  in gic_it_set_pending()
760 	assert(it >= NUM_SGI);  in gic_it_set_pending()
773 	assert(to_others + to_current + to_list == 1);  in assert_cpu_mask_is_valid()
842 	assert(gd == &gic_data);  in gic_read_iar()
853 	assert(gd == &gic_data);  in gic_write_eoir()
867 	assert(gd == &gic_data);  in gic_it_is_enabled()
876 	assert(gd == &gic_data);  in gic_it_get_group()
888 	assert(gd == &gic_data);  in gic_it_get_target()
997 	assert(gd == &gic_data);  in gic_op_configure()
1044 	assert(gd == &gic_data);  in gic_op_enable()
1059 		assert(gd->per_cpu_group_modifier & BIT(it) &&  in gic_op_enable()
1071 	assert(gd == &gic_data);  in gic_op_disable()
1083 	assert(gd == &gic_data);  in gic_op_raise_pi()
1097 	assert(gd == &gic_data);  in gic_op_raise_sgi()
1100 	assert(it < NUM_SGI);  in gic_op_raise_sgi()
1111 	assert(gd == &gic_data);  in gic_op_set_affinity()
1130 	assert(arg && itr_desc);  in dt_get_gic_chip_cb()