| /trusted-firmware-a-3.7.0/drivers/arm/gic/v2/ |
| D | gicv2_main.c | 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()
[all …]
|
| /trusted-firmware-a-3.7.0/drivers/gpio/ |
| D | gpio.c | 24 assert(ops); in gpio_get_direction()
25 assert(ops->get_direction != 0); in gpio_get_direction()
26 assert(gpio >= 0); in gpio_get_direction()
33 assert(ops); in gpio_set_direction()
34 assert(ops->set_direction != 0); in gpio_set_direction()
35 assert((direction == GPIO_DIR_OUT) || (direction == GPIO_DIR_IN)); in gpio_set_direction()
36 assert(gpio >= 0); in gpio_set_direction()
43 assert(ops); in gpio_get_value()
44 assert(ops->get_value != 0); in gpio_get_value()
45 assert(gpio >= 0); in gpio_get_value()
[all …]
|
| /trusted-firmware-a-3.7.0/drivers/auth/ |
| D | crypto_mod.c | 47 assert(crypto_lib_desc.name != NULL); in crypto_mod_init()
48 assert(crypto_lib_desc.init != NULL); in crypto_mod_init()
51 assert(crypto_lib_desc.verify_signature != NULL); in crypto_mod_init()
52 assert(crypto_lib_desc.verify_hash != NULL); in crypto_mod_init()
58 assert(crypto_lib_desc.calc_hash != NULL); in crypto_mod_init()
84 assert(data_ptr != NULL); in crypto_mod_verify_signature()
85 assert(data_len != 0); in crypto_mod_verify_signature()
86 assert(sig_ptr != NULL); in crypto_mod_verify_signature()
87 assert(sig_len != 0); in crypto_mod_verify_signature()
88 assert(sig_alg_ptr != NULL); in crypto_mod_verify_signature()
[all …]
|
| D | img_parser_mod.c | 26 assert(desc != NULL); in validate_desc()
27 assert(desc->init != NULL); in validate_desc()
28 assert(desc->name != NULL); in validate_desc()
29 assert(desc->check_integrity != NULL); in validate_desc()
30 assert(desc->get_auth_param != NULL); in validate_desc()
46 assert(mod_num > 0); in img_parser_init()
58 assert(parser_lib_indices[parser_lib_descs[index].img_type] == in img_parser_init()
71 assert(img_ptr != NULL); in img_parser_check_integrity()
72 assert(img_len != 0); in img_parser_check_integrity()
81 assert(idx != INVALID_IDX); in img_parser_check_integrity()
[all …]
|
| /trusted-firmware-a-3.7.0/drivers/synopsys/ufs/ |
| D | dw_ufs.c | 23 assert((params != NULL) && (params->reg_base != 0)); in dwufs_phy_init()
66 assert((result == 0) && (data == VS_MPHY_DISABLE_MPHYDIS)); in dwufs_phy_init()
72 assert(result == 0); in dwufs_phy_init()
74 assert(result == 0); in dwufs_phy_init()
87 assert((result == 0) && (data == 0)); in dwufs_phy_init()
103 assert((params != NULL) && (params->reg_base != 0)); in dwufs_phy_set_pwr_mode()
111 assert(result == 0); in dwufs_phy_set_pwr_mode()
114 assert(result == 0); in dwufs_phy_set_pwr_mode()
118 assert(result == 0); in dwufs_phy_set_pwr_mode()
121 assert(result == 0); in dwufs_phy_set_pwr_mode()
[all …]
|
| /trusted-firmware-a-3.7.0/drivers/arm/gic/v3/ |
| D | arm_gicv3_common.c | 32 assert(gicv3_driver_data); in arm_gicv3_distif_pre_save()
33 assert(gicv3_driver_data->rdistif_base_addrs); in arm_gicv3_distif_pre_save()
42 assert(gicr_base); in arm_gicv3_distif_pre_save()
43 assert(gicr_read_waker(gicr_base) & WAKER_CA_BIT); in arm_gicv3_distif_pre_save()
44 assert(gicr_read_waker(gicr_base) & WAKER_PS_BIT); in arm_gicv3_distif_pre_save()
76 assert(gicv3_driver_data); in arm_gicv3_distif_post_restore()
77 assert(gicv3_driver_data->rdistif_base_addrs); in arm_gicv3_distif_post_restore()
85 assert(gicr_base); in arm_gicv3_distif_post_restore()
102 assert(gicr_read_waker(gicr_base) & WAKER_QSC_BIT); in arm_gicv3_distif_post_restore()
|
| D | gicv3_main.c | 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()
[all …]
|
| /trusted-firmware-a-3.7.0/plat/common/ |
| D | plat_gicv3.c | 58 assert(IS_IN_EL3()); in plat_ic_get_pending_interrupt_id()
81 assert(IS_IN_EL3()); in plat_ic_get_pending_interrupt_type()
109 assert(IS_IN_EL3()); in plat_ic_acknowledge_interrupt()
121 assert(IS_IN_EL3()); in plat_ic_get_interrupt_type()
132 assert(false); /* Unreachable */ in plat_ic_get_interrupt_type()
144 assert(IS_IN_EL3()); in plat_ic_end_of_interrupt()
159 assert((type == INTR_TYPE_S_EL1) || in plat_interrupt_type_to_line()
163 assert(sec_state_is_valid(security_state)); in plat_interrupt_type_to_line()
164 assert(IS_IN_EL3()); in plat_interrupt_type_to_line()
176 assert(0); /* Unreachable */ in plat_interrupt_type_to_line()
[all …]
|
| /trusted-firmware-a-3.7.0/drivers/arm/tzc/ |
| D | tzc_dmc500.c | 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()
[all …]
|
| /trusted-firmware-a-3.7.0/drivers/arm/ccn/ |
| D | ccn.c | 35 assert(periphbase); in ccn_reg_read()
36 assert(region_id < REGION_ID_LIMIT); in ccn_reg_read()
55 assert(periphbase); in ccn_reg_write()
56 assert(region_id < REGION_ID_LIMIT); in ccn_reg_write()
117 assert (info); in ccn_get_rn_master_info()
177 assert(plat_desc); in ccn_validate_plat_params()
178 assert(plat_desc->periphbase); in ccn_validate_plat_params()
179 assert(plat_desc->master_to_rn_id_map); in ccn_validate_plat_params()
180 assert(plat_desc->num_masters); in ccn_validate_plat_params()
181 assert(plat_desc->num_masters < CCN_MAX_RN_MASTERS); in ccn_validate_plat_params()
[all …]
|
| /trusted-firmware-a-3.7.0/services/spd/tspd/ |
| D | tspd_common.c | 32 assert(tsp_ctx); in tspd_init_tsp_ep_state()
33 assert(tsp_entry_point); in tspd_init_tsp_ep_state()
34 assert(pc); in tspd_init_tsp_ep_state()
40 assert(rw == TSP_AARCH64); in tspd_init_tsp_ep_state()
75 assert(tsp_ctx != NULL); in tspd_synchronous_sp_entry()
76 assert(tsp_ctx->c_rt_ctx == 0); in tspd_synchronous_sp_entry()
79 assert(cm_get_context(SECURE) == &tsp_ctx->cpu_ctx); in tspd_synchronous_sp_entry()
102 assert(tsp_ctx != NULL); in tspd_synchronous_sp_exit()
104 assert(cm_get_context(SECURE) == &tsp_ctx->cpu_ctx); in tspd_synchronous_sp_exit()
107 assert(tsp_ctx->c_rt_ctx != 0); in tspd_synchronous_sp_exit()
[all …]
|
| D | tspd_main.c | 64 assert(handle == cm_get_context(SECURE)); in tspd_handle_sp_preemption()
68 assert(ns_cpu_context); in tspd_handle_sp_preemption()
154 assert(handle == cm_get_context(NON_SECURE)); in tspd_sel1_interrupt_handler()
161 assert(handle == cm_get_context(SECURE)); in tspd_sel1_interrupt_handler()
171 assert(get_interrupt_src_ss(flags) == NON_SECURE); in tspd_sel1_interrupt_handler()
174 assert(handle == cm_get_context(NON_SECURE)); in tspd_sel1_interrupt_handler()
180 assert(&tsp_ctx->cpu_ctx == cm_get_context(SECURE)); in tspd_sel1_interrupt_handler()
230 assert(get_interrupt_src_ss(flags) == SECURE); in tspd_ns_interrupt_handler()
318 assert(tsp_entry_point); in tspd_init()
327 assert(rc != 0); in tspd_init()
[all …]
|
| /trusted-firmware-a-3.7.0/lib/utils/ |
| D | mem_region.c | 35 assert(tbl != NULL); in clear_mem_regions()
36 assert(nregions > 0U); in clear_mem_regions()
39 assert(tbl->nbytes > 0); in clear_mem_regions()
40 assert(!check_uptr_overflow(tbl->base, tbl->nbytes-1)); in clear_mem_regions()
66 assert(regions != NULL); in clear_map_dyn_mem_regions()
67 assert(nregions != 0U); in clear_map_dyn_mem_regions()
68 assert(chunk != 0U); in clear_map_dyn_mem_regions()
121 assert(tbl != NULL); in mem_region_in_array_chk()
122 assert(nbytes != 0U); in mem_region_in_array_chk()
123 assert(!check_uptr_overflow(addr, nbytes-1)); in mem_region_in_array_chk()
[all …]
|
| /trusted-firmware-a-3.7.0/lib/xlat_tables_v2/aarch64/ |
| D | xlat_tables_arch.c | 50 assert(xlat_arch_is_granule_size_supported(PAGE_SIZE_4KB)); in xlat_arch_get_max_supported_granule_size()
85 assert((max_addr & ADDR_MASK_48_TO_63) == 0U); in tcr_physical_addr_size_bits()
126 assert(pa_range < ARRAY_SIZE(pa_range_bits_arr)); in xlat_arch_get_max_supported_pa()
150 assert(xlat_arch_current_el() >= 1U); in is_mmu_enabled_ctx()
153 assert(xlat_arch_current_el() >= 2U); in is_mmu_enabled_ctx()
156 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx()
157 assert(xlat_arch_current_el() >= 3U); in is_mmu_enabled_ctx()
180 assert((xlat_regime == EL2_REGIME) || in xlat_arch_regime_get_xn_desc()
202 assert(xlat_arch_current_el() >= 1U); in xlat_arch_tlbi_va()
205 assert(xlat_arch_current_el() >= 2U); in xlat_arch_tlbi_va()
[all …]
|
| /trusted-firmware-a-3.7.0/services/spd/pncd/ |
| D | pncd_common.c | 31 assert(pnc_ctx); in pncd_init_pnc_ep_state()
32 assert(pnc_entry_point); in pncd_init_pnc_ep_state()
33 assert(pc); in pncd_init_pnc_ep_state()
64 assert(pnc_ctx != NULL); in pncd_synchronous_sp_entry()
65 assert(pnc_ctx->c_rt_ctx == 0U); in pncd_synchronous_sp_entry()
68 assert(cm_get_context(SECURE) == &pnc_ctx->cpu_ctx); in pncd_synchronous_sp_entry()
89 assert(pnc_ctx != NULL); in pncd_synchronous_sp_exit()
91 assert(cm_get_context(SECURE) == &pnc_ctx->cpu_ctx); in pncd_synchronous_sp_exit()
97 assert(pnc_ctx->c_rt_ctx != 0); in pncd_synchronous_sp_exit()
|
| /trusted-firmware-a-3.7.0/services/spd/opteed/ |
| D | opteed_common.c | 30 assert(optee_ctx); in opteed_init_optee_ep_state()
31 assert(optee_entry_point); in opteed_init_optee_ep_state()
32 assert(pc); in opteed_init_optee_ep_state()
74 assert(optee_ctx != NULL); in opteed_synchronous_sp_entry()
75 assert(optee_ctx->c_rt_ctx == 0); in opteed_synchronous_sp_entry()
78 assert(cm_get_context(SECURE) == &optee_ctx->cpu_ctx); in opteed_synchronous_sp_entry()
101 assert(optee_ctx != NULL); in opteed_synchronous_sp_exit()
103 assert(cm_get_context(SECURE) == &optee_ctx->cpu_ctx); in opteed_synchronous_sp_exit()
106 assert(optee_ctx->c_rt_ctx != 0); in opteed_synchronous_sp_exit()
110 assert(0); in opteed_synchronous_sp_exit()
|
| /trusted-firmware-a-3.7.0/bl2/ |
| D | bl2_image_load_v2.c | 37 assert(bl2_load_info != NULL); in bl2_load_images()
38 assert(bl2_load_info->head != NULL); in bl2_load_images()
39 assert(bl2_load_info->h.type == PARAM_BL_LOAD_INFO); in bl2_load_images()
40 assert(bl2_load_info->h.version >= VERSION_2); in bl2_load_images()
95 assert(bl2_to_next_bl_params != NULL); in bl2_load_images()
96 assert(bl2_to_next_bl_params->head != NULL); in bl2_load_images()
97 assert(bl2_to_next_bl_params->h.type == PARAM_BL_PARAMS); in bl2_load_images()
98 assert(bl2_to_next_bl_params->h.version >= VERSION_2); in bl2_load_images()
99 assert(bl2_to_next_bl_params->head->ep_info != NULL); in bl2_load_images()
|
| /trusted-firmware-a-3.7.0/services/spd/tlkd/ |
| D | tlkd_common.c | 53 assert(0); /* Unreachable */ in tlkd_va_translate()
88 assert(tlk_ctx); in tlkd_init_tlk_ep_state()
89 assert(tlk_entry_point); in tlkd_init_tlk_ep_state()
90 assert(pc); in tlkd_init_tlk_ep_state()
128 assert(tlk_ctx); in tlkd_synchronous_sp_entry()
131 assert(cm_get_context(SECURE) == &tlk_ctx->cpu_ctx); in tlkd_synchronous_sp_entry()
154 assert(tlk_ctx); in tlkd_synchronous_sp_exit()
157 assert(cm_get_context(SECURE) == &tlk_ctx->cpu_ctx); in tlkd_synchronous_sp_exit()
160 assert(tlk_ctx->c_rt_ctx != 0); in tlkd_synchronous_sp_exit()
164 assert(0); in tlkd_synchronous_sp_exit()
|
| /trusted-firmware-a-3.7.0/drivers/arm/cci/ |
| D | cci.c | 114 assert(map != NULL); in cci_init()
115 assert(base != 0U); in cci_init()
128 assert(cci_num_slave_ports >= 0); in cci_init()
130 assert(validate_cci_map(map)); in cci_init()
137 assert(master_id <= max_master_id); in cci_enable_snoop_dvm_reqs()
138 assert((slave_if_id < cci_num_slave_ports) && (slave_if_id >= 0)); in cci_enable_snoop_dvm_reqs()
139 assert(cci_base != 0U); in cci_enable_snoop_dvm_reqs()
164 assert(master_id <= max_master_id); in cci_disable_snoop_dvm_reqs()
165 assert((slave_if_id < cci_num_slave_ports) && (slave_if_id >= 0)); in cci_disable_snoop_dvm_reqs()
166 assert(cci_base != 0U); in cci_disable_snoop_dvm_reqs()
|
| /trusted-firmware-a-3.7.0/common/ |
| D | tf_log.c | 34 assert((log_level > 0U) && (log_level <= LOG_LEVEL_VERBOSE)); in tf_log()
35 assert((log_level % 10U) == 0U); in tf_log()
57 assert((log_level > 0U) && (log_level <= LOG_LEVEL_VERBOSE)); in tf_log_newline()
58 assert((log_level % 10U) == 0U); in tf_log_newline()
73 assert(log_level <= LOG_LEVEL_VERBOSE); in tf_log_set_max_level()
74 assert((log_level % 10U) == 0U); in tf_log_set_max_level()
|
| /trusted-firmware-a-3.7.0/drivers/intel/soc/stratix10/io/ |
| D | s10_memmap_qspi.c | 86 assert(dev_info != NULL); in memmap_dev_open()
115 assert(block_spec != NULL); in memmap_block_open()
116 assert(entity != NULL); in memmap_block_open()
142 assert(entity != NULL); in memmap_block_seek()
147 assert((offset >= 0) && in memmap_block_seek()
162 assert(entity != NULL); in memmap_block_len()
163 assert(length != NULL); in memmap_block_len()
178 assert(entity != NULL); in memmap_block_read()
179 assert(length_read != NULL); in memmap_block_read()
185 assert((pos_after >= fp->file_pos) && (pos_after <= fp->size)); in memmap_block_read()
[all …]
|
| /trusted-firmware-a-3.7.0/drivers/io/ |
| D | io_memmap.c | 84 assert(dev_info != NULL); in memmap_dev_open()
112 assert(block_spec != NULL); in memmap_block_open()
113 assert(entity != NULL); in memmap_block_open()
139 assert(entity != NULL); in memmap_block_seek()
144 assert((offset >= 0) && in memmap_block_seek()
159 assert(entity != NULL); in memmap_block_len()
160 assert(length != NULL); in memmap_block_len()
175 assert(entity != NULL); in memmap_block_read()
176 assert(length_read != NULL); in memmap_block_read()
182 assert((pos_after >= fp->file_pos) && (pos_after <= fp->size)); in memmap_block_read()
[all …]
|
| /trusted-firmware-a-3.7.0/lib/xlat_tables_v2/aarch32/ |
| D | xlat_tables_arch.c | 78 assert(xlat_arch_current_el() == 1U); in is_mmu_enabled_ctx()
81 assert(ctx->xlat_regime == EL2_REGIME); in is_mmu_enabled_ctx()
82 assert(xlat_arch_current_el() == 2U); in is_mmu_enabled_ctx()
101 assert(xlat_regime == EL2_REGIME); in xlat_arch_regime_get_xn_desc()
117 assert(xlat_regime == EL2_REGIME); in xlat_arch_tlbi_va()
153 assert(IS_IN_SVC() || IS_IN_MON()); in xlat_arch_current_el()
194 assert(IS_IN_SVC() || IS_IN_MON()); in setup_mmu_cfg()
201 assert(xlat_regime == EL2_REGIME); in setup_mmu_cfg()
202 assert(IS_IN_HYP()); in setup_mmu_cfg()
221 assert(virtual_addr_space_size >= in setup_mmu_cfg()
[all …]
|
| /trusted-firmware-a-3.7.0/plat/arm/board/fvp_r/ |
| D | fvp_r_bl1_main.c | 66 assert(desc != NULL); in bl1_load_bl33()
101 assert(bl1_mem_layout != NULL); in bl1_calc_bl2_mem_layout()
102 assert(bl2_mem_layout != NULL); in bl1_calc_bl2_mem_layout()
108 assert(bl1_mem_layout->total_base < BL1_RW_BASE); in bl1_calc_bl2_mem_layout()
138 assert(desc != NULL); in bl1_prepare_next_image()
144 assert(GET_SECURITY_STATE(next_bl_ep->h.attr) == SECURE); in bl1_prepare_next_image()
199 assert((val & SCTLR_M_BIT) != 0U); in bl1_main()
200 assert((val & SCTLR_C_BIT) != 0U); in bl1_main()
201 assert((val & SCTLR_I_BIT) != 0U); in bl1_main()
213 assert(SIZE_FROM_LOG2_WORDS(val) == CACHE_WRITEBACK_GRANULE); in bl1_main()
[all …]
|
| /trusted-firmware-a-3.7.0/drivers/arm/css/scmi/ |
| D | scmi_common.c | 31 assert(ch->lock); in scmi_get_channel()
35 assert(SCMI_IS_CHANNEL_FREE( in scmi_get_channel()
80 assert(SCMI_IS_CHANNEL_FREE( in scmi_put_channel()
83 assert(ch->lock); in scmi_put_channel()
111 assert(mbx_mem->len == SCMI_PROTO_VERSION_RESP_LEN); in scmi_proto_version()
112 assert(token == SCMI_MSG_GET_TOKEN(mbx_mem->msg_header)); in scmi_proto_version()
145 assert(mbx_mem->len == SCMI_PROTO_MSG_ATTR_RESP_LEN); in scmi_proto_msg_attr()
146 assert(token == SCMI_MSG_GET_TOKEN(mbx_mem->msg_header)); in scmi_proto_msg_attr()
162 assert(ch && ch->info); in scmi_init()
163 assert(ch->info->db_reg_addr); in scmi_init()
[all …]
|
