/trusted-firmware-a/drivers/arm/gic/v2/ |
A D | gicv2_main.c | 38 assert(driver_data != NULL); in gicv2_cpuif_enable() 61 assert(driver_data != NULL); in gicv2_cpuif_disable() 80 assert(driver_data != NULL); in gicv2_pcpu_distif_init() 336 assert(id <= MAX_SPI_ID); in gicv2_get_interrupt_active() 348 assert(id <= MAX_SPI_ID); in gicv2_enable_interrupt() 365 assert(id <= MAX_SPI_ID); in gicv2_disable_interrupt() 383 assert(id <= MAX_SPI_ID); in gicv2_set_interrupt_priority() 408 assert(false); in gicv2_set_interrupt_type() 425 assert(proc_num >= 0); in gicv2_raise_sgi() 438 assert(target != 0U); in gicv2_raise_sgi() [all …]
|
/trusted-firmware-a/drivers/auth/ |
A D | crypto_mod.c | 73 assert(data_len != 0); in crypto_mod_verify_signature() 75 assert(sig_len != 0); in crypto_mod_verify_signature() 78 assert(pk_ptr != NULL); in crypto_mod_verify_signature() 79 assert(pk_len != 0); in crypto_mod_verify_signature() 99 assert(data_len != 0); in crypto_mod_verify_hash() 121 assert(data_len != 0); in crypto_mod_calc_hash() 147 assert(len != 0U); in crypto_mod_auth_decrypt() 148 assert(key != NULL); in crypto_mod_auth_decrypt() 149 assert(key_len != 0U); in crypto_mod_auth_decrypt() 150 assert(iv != NULL); in crypto_mod_auth_decrypt() [all …]
|
A 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() 46 assert(mod_num > 0); in img_parser_init() 71 assert(img_ptr != NULL); in img_parser_check_integrity() 72 assert(img_len != 0); in img_parser_check_integrity() 105 assert(type_desc != NULL); in img_parser_get_auth_param() 106 assert(img_ptr != NULL); in img_parser_get_auth_param() 107 assert(img_len != 0); in img_parser_get_auth_param() 108 assert(param_ptr != NULL); in img_parser_get_auth_param() [all …]
|
/trusted-firmware-a/drivers/gpio/ |
A D | gpio.c | 24 assert(ops); in gpio_get_direction() 26 assert(gpio >= 0); in gpio_get_direction() 33 assert(ops); in gpio_set_direction() 36 assert(gpio >= 0); in gpio_set_direction() 43 assert(ops); in gpio_get_value() 45 assert(gpio >= 0); in gpio_get_value() 52 assert(ops); in gpio_set_value() 55 assert(gpio >= 0); in gpio_set_value() 62 assert(ops); in gpio_set_pull() 66 assert(gpio >= 0); in gpio_set_pull() [all …]
|
/trusted-firmware-a/drivers/synopsys/ufs/ |
A D | dw_ufs.c | 72 assert(result == 0); in dwufs_phy_init() 74 assert(result == 0); in dwufs_phy_init() 118 assert(result == 0); in dwufs_phy_set_pwr_mode() 124 assert(result == 0); in dwufs_phy_set_pwr_mode() 126 assert(result == 0); in dwufs_phy_set_pwr_mode() 129 assert(result == 0); in dwufs_phy_set_pwr_mode() 131 assert(result == 0); in dwufs_phy_set_pwr_mode() 133 assert(result == 0); in dwufs_phy_set_pwr_mode() 135 assert(result == 0); in dwufs_phy_set_pwr_mode() 137 assert(result == 0); in dwufs_phy_set_pwr_mode() [all …]
|
/trusted-firmware-a/drivers/arm/gic/v3/ |
A D | gicv3_main.c | 107 assert(IS_IN_EL3()); in gicv3_driver_init() 188 assert(IS_IN_EL3()); in gicv3_distif_init() 236 assert(IS_IN_EL3()); in gicv3_rdistif_init() 281 assert(IS_IN_EL3()); in gicv3_cpuif_enable() 345 assert(IS_IN_EL3()); in gicv3_cpuif_disable() 379 assert(IS_IN_EL3()); in gicv3_get_pending_interrupt_id() 404 assert(IS_IN_EL3()); in gicv3_get_pending_interrupt_type() 423 assert(IS_IN_EL3()); in gicv3_get_interrupt_type() 483 assert(IS_IN_EL3()); in gicv3_its_save_disable() 1059 assert(false); in gicv3_set_interrupt_type() [all …]
|
A 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()
|
/trusted-firmware-a/drivers/arm/ccn/ |
A D | ccn.c | 35 assert(periphbase); in ccn_reg_read() 55 assert(periphbase); in ccn_reg_write() 117 assert (info); in ccn_get_rn_master_info() 177 assert(plat_desc); in ccn_validate_plat_params() 231 assert(master_map); in ccn_master_to_rn_id_map() 232 assert(ccn_plat_desc); in ccn_master_to_rn_id_map() 491 assert(periphbase); in ccn_get_part0_id() 524 assert(false); in get_region_id_for_node() 553 assert(false); in get_region_id_for_node() 582 assert(false); in ccn_write_node_reg() [all …]
|
/trusted-firmware-a/plat/common/ |
A 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() 119 assert(IS_IN_EL3()); in plat_ic_get_interrupt_type() 130 assert(IS_IN_EL3()); in plat_ic_end_of_interrupt() 150 assert(IS_IN_EL3()); in plat_interrupt_type_to_line() 272 assert(id >= MIN_PPI_ID); in plat_ic_set_interrupt_pending() 279 assert(id >= MIN_PPI_ID); in plat_ic_clear_interrupt_pending() 315 assert(IS_IN_EL1()); in plat_ic_get_pending_interrupt_id() 328 assert(IS_IN_EL1()); in plat_ic_acknowledge_interrupt() [all …]
|
/trusted-firmware-a/drivers/arm/tzc/ |
A 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() 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() 218 assert(g_driver_data); in tzc_dmc500_set_action() 244 assert(plat_driver_data); in validate_plat_driver_data() 250 assert(dmc_base); in validate_plat_driver_data() [all …]
|
/trusted-firmware-a/lib/xlat_tables_v2/aarch64/ |
A D | xlat_tables_arch.c | 151 assert(xlat_arch_current_el() >= 1U); in is_mmu_enabled_ctx() 154 assert(xlat_arch_current_el() >= 2U); in is_mmu_enabled_ctx() 158 assert(xlat_arch_current_el() >= 3U); in is_mmu_enabled_ctx() 181 assert((xlat_regime == EL2_REGIME) || in xlat_arch_regime_get_xn_desc() 203 assert(xlat_arch_current_el() >= 1U); in xlat_arch_tlbi_va() 206 assert(xlat_arch_current_el() >= 2U); in xlat_arch_tlbi_va() 209 assert(xlat_regime == EL3_REGIME); in xlat_arch_tlbi_va() 210 assert(xlat_arch_current_el() >= 3U); in xlat_arch_tlbi_va() 242 assert(el > 0U); in xlat_arch_current_el() 267 assert(virtual_addr_space_size >= in setup_mmu_cfg() [all …]
|
/trusted-firmware-a/lib/utils/ |
A 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/services/spd/tspd/ |
A 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 …]
|
A D | tspd_main.c | 68 assert(ns_cpu_context); in tspd_handle_sp_preemption() 318 assert(tsp_entry_point); in tspd_init() 327 assert(rc != 0); in tspd_init() 409 assert(ns_cpu_context); in tspd_smc_handler() 446 assert(tsp_vectors == NULL); in tspd_smc_handler() 501 assert(next_image_info); in tspd_smc_handler() 502 assert(NON_SECURE == in tspd_smc_handler() 654 assert(ns_cpu_context); in tspd_smc_handler() 673 assert(0); /* Unreachable */ in tspd_smc_handler() 682 assert(0); in tspd_smc_handler() [all …]
|
/trusted-firmware-a/lib/extensions/amu/aarch64/ |
A D | amu.c | 313 assert(amu_supported()); in amu_group0_cnt_read() 322 assert(amu_supported()); in amu_group0_cnt_write() 362 assert(amu_v1p1_supported()); in amu_group0_voffset_read() 364 assert(idx != 1U); in amu_group0_voffset_read() 377 assert(amu_v1p1_supported()); in amu_group0_voffset_write() 379 assert(idx != 1U); in amu_group0_voffset_write() 389 assert(amu_supported()); in amu_group1_cnt_read() 390 assert(amu_group1_supported()); in amu_group1_cnt_read() 399 assert(amu_supported()); in amu_group1_cnt_write() 414 assert(amu_v1p1_supported()); in amu_group1_voffset_read() [all …]
|
/trusted-firmware-a/services/spd/opteed/ |
A 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/drivers/intel/soc/stratix10/io/ |
A 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() 205 assert(entity != NULL); in memmap_block_write() 228 assert(entity != NULL); in memmap_block_close() [all …]
|
/trusted-firmware-a/drivers/io/ |
A 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() 203 assert(entity != NULL); in memmap_block_write() 227 assert(entity != NULL); in memmap_block_close() [all …]
|
A D | io_storage.c | 76 assert(dev_info != NULL); in io_storage_dev_open() 86 assert(handle != NULL); in set_handle() 110 assert(entity != NULL); in allocate_entity() 115 assert(result == 0); in allocate_entity() 130 assert(entity != NULL); in free_entity() 148 assert(dev_info != NULL); in io_register_device() 164 assert(handle != NULL); in io_dev_open() 175 assert(is_valid_dev(dev_handle)); in io_dev_init() 275 assert(is_valid_entity(handle)); in io_read() 295 assert(is_valid_entity(handle)); in io_write() [all …]
|
/trusted-firmware-a/common/ |
A D | fdt_wrappers.c | 32 assert(dtb != NULL); in fdt_read_uint32_array() 34 assert(value != NULL); in fdt_read_uint32_array() 35 assert(node >= 0); in fdt_read_uint32_array() 102 assert(dtb != NULL); in fdtw_read_bytes() 105 assert(node >= 0); in fdtw_read_bytes() 137 assert(dtb != NULL); in fdtw_read_string() 138 assert(node >= 0); in fdtw_read_string() 141 assert(size > 0U); in fdtw_read_string() 172 assert(node >= 0); in fdtw_read_uuid() 203 assert(node >= 0); in fdtw_write_inplace_cells() [all …]
|
/trusted-firmware-a/drivers/arm/css/scmi/ |
A 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() 162 assert(ch && ch->info); in scmi_init() 163 assert(ch->info->db_reg_addr); in scmi_init() 164 assert(ch->info->db_modify_mask); in scmi_init() 165 assert(ch->info->db_preserve_mask); in scmi_init() 166 assert(ch->info->ring_doorbell != NULL); in scmi_init() [all …]
|
/trusted-firmware-a/services/spd/tlkd/ |
A 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/drivers/arm/cci/ |
A 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/lib/xlat_tables_v2/aarch32/ |
A 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/plat/arm/board/fvp_r/ |
A 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 …]
|