127             CY_ASSERT(false); // Should never be called with a non-ADCMIC IRQn  in _cyhal_adcmic_get_block_from_irqn()
234         CY_ASSERT(false); /* We only support GPIO channels and the above defines all of them */  in _cyhal_adcmic_convert_channel_sel()
245     CY_ASSERT(NULL != obj);  in _cyhal_adc_config_hw()
397     CY_ASSERT(NULL != obj);  in cyhal_adc_free()
468     CY_ASSERT(obj != NULL);  in cyhal_adc_channel_init_diff()
469     CY_ASSERT(adc != NULL);  in cyhal_adc_channel_init_diff()
543     CY_ASSERT(NULL != obj);  in cyhal_adc_channel_configure()
560     CY_ASSERT(NULL != obj);  in cyhal_adc_channel_free()
595     CY_ASSERT(retry > 0);  in _cyhal_adc_read_raw()
601     CY_ASSERT(NULL != obj);  in cyhal_adc_read_u16()
607     CY_ASSERT(NULL != obj);  in cyhal_adc_read()
613     CY_ASSERT(NULL != obj);  in cyhal_adc_read_uv()
619     CY_ASSERT(NULL == obj->async_buff_next); /* Transfer already in progress */  in _cyhal_adcmic_start_async_read()
644     CY_ASSERT(NULL != obj);  in cyhal_adc_read_async()
652     CY_ASSERT(NULL != obj);  in cyhal_adc_read_async_uv()
662     CY_ASSERT(NULL != obj);  in cyhal_adc_set_async_mode()
663     CY_ASSERT(NULL == obj->async_buff_next); /* Can't swap mode while a transfer is running */  in cyhal_adc_set_async_mode()
678     CY_ASSERT(NULL != obj);  in cyhal_adc_register_callback()