Lines Matching refs:assert
90 assert(g_driver_data); in tzc_dmc500_config_complete()
93 assert(DMC_INST_BASE_ADDR(dmc_inst)); in tzc_dmc500_config_complete()
114 assert(g_driver_data); in tzc_dmc500_verify_complete()
116 assert(g_conf_regions[0].is_enabled); in tzc_dmc500_verify_complete()
124 assert(DMC_INST_BASE_ADDR(dmc_inst)); in tzc_dmc500_verify_complete()
155 assert(g_driver_data); in tzc_dmc500_configure_region0()
159 assert(DMC_INST_BASE_ADDR(dmc_inst)); in tzc_dmc500_configure_region0()
185 assert(g_driver_data); in tzc_dmc500_configure_region()
187 assert((region_no >= 0U) && (region_no <= MAX_REGION_VAL)); in tzc_dmc500_configure_region()
193 assert(((region_top <= (UINT64_MAX >> (64U - 43U))) && in tzc_dmc500_configure_region()
197 assert(((region_base | (region_top + 1U)) & (4096U - 1U)) == 0U); in tzc_dmc500_configure_region()
200 assert(DMC_INST_BASE_ADDR(dmc_inst)); in tzc_dmc500_configure_region()
218 assert(g_driver_data); in tzc_dmc500_set_action()
221 assert(DMC_INST_BASE_ADDR(dmc_inst)); in tzc_dmc500_set_action()
244 assert(plat_driver_data); in validate_plat_driver_data()
245 assert(plat_driver_data->dmc_count > 0 && in validate_plat_driver_data()
250 assert(dmc_base); in validate_plat_driver_data()
253 assert(dmc_id == DMC500_PERIPHERAL_ID); in validate_plat_driver_data()
268 assert(plat_driver_data); in tzc_dmc500_driver_init()
280 assert(g_driver_data->sys_if_count <= MAX_SYS_IF_COUNT); in tzc_dmc500_driver_init()