Lines Matching refs:assert

39 	assert(driver_data != NULL);  in gicv2_cpuif_enable()
40 assert(driver_data->gicc_base != 0U); in gicv2_cpuif_enable()
62 assert(driver_data != NULL); in gicv2_cpuif_disable()
63 assert(driver_data->gicc_base != 0U); in gicv2_cpuif_disable()
81 assert(driver_data != NULL); in gicv2_pcpu_distif_init()
82 assert(driver_data->gicd_base != 0U); in gicv2_pcpu_distif_init()
105 assert(driver_data != NULL); in gicv2_distif_init()
106 assert(driver_data->gicd_base != 0U); in gicv2_distif_init()
132 assert(plat_driver_data != NULL); in gicv2_driver_init()
133 assert(plat_driver_data->gicd_base != 0U); in gicv2_driver_init()
134 assert(plat_driver_data->gicc_base != 0U); in gicv2_driver_init()
136 assert(plat_driver_data->interrupt_props_num > 0 ? in gicv2_driver_init()
155 assert((gic_version == ARCH_REV_GICV2) || in gicv2_driver_init()
182 assert(driver_data != NULL); in gicv2_is_fiq_enabled()
183 assert(driver_data->gicc_base != 0U); in gicv2_is_fiq_enabled()
199 assert(driver_data != NULL); in gicv2_get_pending_interrupt_type()
200 assert(driver_data->gicc_base != 0U); in gicv2_get_pending_interrupt_type()
214 assert(driver_data != NULL); in gicv2_get_pending_interrupt_id()
215 assert(driver_data->gicc_base != 0U); in gicv2_get_pending_interrupt_id()
236 assert(driver_data != NULL); in gicv2_acknowledge_interrupt()
237 assert(driver_data->gicc_base != 0U); in gicv2_acknowledge_interrupt()
248 assert(driver_data != NULL); in gicv2_end_of_interrupt()
249 assert(driver_data->gicc_base != 0U); in gicv2_end_of_interrupt()
271 assert(driver_data != NULL); in gicv2_get_interrupt_group()
272 assert(driver_data->gicd_base != 0U); in gicv2_get_interrupt_group()
283 assert(driver_data != NULL); in gicv2_get_running_priority()
284 assert(driver_data->gicc_base != 0U); in gicv2_get_running_priority()
297 assert(driver_data != NULL); in gicv2_set_pe_target_mask()
298 assert(driver_data->gicd_base != 0U); in gicv2_set_pe_target_mask()
299 assert(driver_data->target_masks != NULL); in gicv2_set_pe_target_mask()
300 assert(proc_num < GICV2_MAX_TARGET_PE); in gicv2_set_pe_target_mask()
301 assert(proc_num < driver_data->target_masks_num); in gicv2_set_pe_target_mask()
335 assert(driver_data != NULL); in gicv2_get_interrupt_active()
336 assert(driver_data->gicd_base != 0U); in gicv2_get_interrupt_active()
337 assert(id <= MAX_SPI_ID); in gicv2_get_interrupt_active()
347 assert(driver_data != NULL); in gicv2_enable_interrupt()
348 assert(driver_data->gicd_base != 0U); in gicv2_enable_interrupt()
349 assert(id <= MAX_SPI_ID); in gicv2_enable_interrupt()
364 assert(driver_data != NULL); in gicv2_disable_interrupt()
365 assert(driver_data->gicd_base != 0U); in gicv2_disable_interrupt()
366 assert(id <= MAX_SPI_ID); in gicv2_disable_interrupt()
382 assert(driver_data != NULL); in gicv2_set_interrupt_priority()
383 assert(driver_data->gicd_base != 0U); in gicv2_set_interrupt_priority()
384 assert(id <= MAX_SPI_ID); in gicv2_set_interrupt_priority()
395 assert(driver_data != NULL); in gicv2_set_interrupt_group()
396 assert(driver_data->gicd_base != 0U); in gicv2_set_interrupt_group()
397 assert(id <= MAX_SPI_ID); in gicv2_set_interrupt_group()
409 assert(false); in gicv2_set_interrupt_group()
425 assert(driver_data != NULL); in gicv2_raise_sgi()
426 assert(proc_num >= 0); in gicv2_raise_sgi()
427 assert(proc_num < (int)GICV2_MAX_TARGET_PE); in gicv2_raise_sgi()
428 assert(driver_data->gicd_base != 0U); in gicv2_raise_sgi()
434 assert(driver_data->target_masks != NULL); in gicv2_raise_sgi()
435 assert(proc_num < (int)driver_data->target_masks_num); in gicv2_raise_sgi()
439 assert(target != 0U); in gicv2_raise_sgi()
461 assert(driver_data != NULL); in gicv2_set_spi_routing()
462 assert(driver_data->gicd_base != 0U); in gicv2_set_spi_routing()
464 assert((id >= MIN_SPI_ID) && (id <= MAX_SPI_ID)); in gicv2_set_spi_routing()
470 assert(driver_data->target_masks != NULL); in gicv2_set_spi_routing()
471 assert(proc_num < (int)GICV2_MAX_TARGET_PE); in gicv2_set_spi_routing()
472 assert(driver_data->target_masks_num < INT_MAX); in gicv2_set_spi_routing()
473 assert(proc_num < (int)driver_data->target_masks_num); in gicv2_set_spi_routing()
481 assert(target != 0U); in gicv2_set_spi_routing()
492 assert(driver_data != NULL); in gicv2_clear_interrupt_pending()
493 assert(driver_data->gicd_base != 0U); in gicv2_clear_interrupt_pending()
496 assert(id >= MIN_PPI_ID); in gicv2_clear_interrupt_pending()
511 assert(driver_data != NULL); in gicv2_set_interrupt_pending()
512 assert(driver_data->gicd_base != 0U); in gicv2_set_interrupt_pending()
515 assert(id >= MIN_PPI_ID); in gicv2_set_interrupt_pending()
533 assert(driver_data != NULL); in gicv2_set_pmr()
534 assert(driver_data->gicc_base != 0U); in gicv2_set_pmr()