| /rk3399_ARM-atf/drivers/arm/gic/v2/ |
| H A 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 …]
|
| /rk3399_ARM-atf/drivers/gpio/ |
| H A 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 …]
|
| /rk3399_ARM-atf/drivers/auth/ |
| H A D | crypto_mod.c | 7 #include <assert.h> 49 assert(crypto_lib_desc.name != NULL); in crypto_mod_init() 50 assert(crypto_lib_desc.init != NULL); in crypto_mod_init() 53 assert(crypto_lib_desc.verify_signature != NULL); in crypto_mod_init() 54 assert(crypto_lib_desc.verify_hash != NULL); in crypto_mod_init() 60 assert(crypto_lib_desc.calc_hash != NULL); in crypto_mod_init() 86 assert(data_ptr != NULL); in crypto_mod_verify_signature() 87 assert(data_len != 0); in crypto_mod_verify_signature() 88 assert(sig_ptr != NULL); in crypto_mod_verify_signature() 89 assert(sig_le in crypto_mod_verify_signature() [all...] |
| H 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() 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 …]
|
| /rk3399_ARM-atf/drivers/synopsys/ufs/ |
| H A 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 …]
|
| /rk3399_ARM-atf/drivers/arm/gic/v3/ |
| H A 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 …]
|
| H A D | arm_gicv3_common.c | 33 assert(gicv3_driver_data != NULL); in arm_gicv3_distif_pre_save() 34 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in arm_gicv3_distif_pre_save() 35 assert(gicv3_driver_data->gicd_base != 0U); in arm_gicv3_distif_pre_save() 45 assert(gicr_base != 0U); in arm_gicv3_distif_pre_save() 46 assert((gicr_read_waker(gicr_base) & WAKER_CA_BIT) != 0U); in arm_gicv3_distif_pre_save() 47 assert((gicr_read_waker(gicr_base) & WAKER_PS_BIT) != 0U); in arm_gicv3_distif_pre_save() 85 assert(gicv3_driver_data != NULL); in arm_gicv3_distif_post_restore() 86 assert(gicv3_driver_data->rdistif_base_addrs != NULL); in arm_gicv3_distif_post_restore() 94 assert(gicr_base != 0U); in arm_gicv3_distif_post_restore() 112 assert((gicr_read_waker(gicr_base) & WAKER_QSC_BIT) != 0U); in arm_gicv3_distif_post_restore()
|
| /rk3399_ARM-atf/plat/common/ |
| H 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() 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() 177 assert(0); /* Unreachable */ in plat_interrupt_type_to_line() [all …]
|
| /rk3399_ARM-atf/drivers/arm/tzc/ |
| H 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() 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 …]
|
| /rk3399_ARM-atf/drivers/arm/ccn/ |
| H A 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 …]
|
| /rk3399_ARM-atf/services/spd/tspd/ |
| H 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 …]
|
| H A 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 …]
|
| /rk3399_ARM-atf/lib/xlat_tables_v2/aarch64/ |
| H A D | xlat_tables_arch.c | 45 assert(xlat_arch_is_granule_size_supported(PAGE_SIZE_4KB)); in xlat_arch_get_max_supported_granule_size() 80 assert((max_addr & ADDR_MASK_48_TO_63) == 0U); in tcr_physical_addr_size_bits() 121 assert(pa_range < ARRAY_SIZE(pa_range_bits_arr)); in xlat_arch_get_max_supported_pa() 145 assert(xlat_arch_current_el() >= 1U); in is_mmu_enabled_ctx() 148 assert(xlat_arch_current_el() >= 2U); in is_mmu_enabled_ctx() 151 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx() 152 assert(xlat_arch_current_el() >= 3U); in is_mmu_enabled_ctx() 175 assert((xlat_regime == EL2_REGIME) || in xlat_arch_regime_get_xn_desc() 197 assert(xlat_arch_current_el() >= 1U); in xlat_arch_tlbi_va() 200 assert(xlat_arch_current_el() >= 2U); in xlat_arch_tlbi_va() [all …]
|
| /rk3399_ARM-atf/lib/utils/ |
| H 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 …]
|
| /rk3399_ARM-atf/drivers/delay_timer/ |
| H A D | delay_timer.c | 25 assert((timer_ops != NULL) && in udelay() 33 assert(usec < (UINT64_MAX / timer_ops->clk_div)); in udelay() 47 assert(total_delta < (UINT32_MAX - 1000U)); in udelay() 66 assert((msec * 1000UL) < UINT32_MAX); in mdelay() 76 assert((ops_ptr != NULL) && in timer_init() 89 assert(timer_ops != NULL); in timeout_init_us() 90 assert(timer_ops->timeout_init_us != NULL); in timeout_init_us() 100 assert(timer_ops != NULL); in timeout_elapsed() 101 assert(timer_ops->timeout_elapsed != NULL); in timeout_elapsed()
|
| /rk3399_ARM-atf/services/spd/pncd/ |
| H A 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() 90 assert(pnc_ctx != NULL); in pncd_synchronous_sp_exit() 92 assert(cm_get_context(SECURE) == &pnc_ctx->cpu_ctx); in pncd_synchronous_sp_exit() 99 assert(pnc_ctx->c_rt_ctx != 0); in pncd_synchronous_sp_exit()
|
| /rk3399_ARM-atf/services/spd/opteed/ |
| H 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() 75 assert(optee_ctx != NULL); in opteed_synchronous_sp_entry() 76 assert(optee_ctx->c_rt_ctx == 0); in opteed_synchronous_sp_entry() 79 assert(cm_get_context(SECURE) == &optee_ctx->cpu_ctx); in opteed_synchronous_sp_entry() 102 assert(optee_ctx != NULL); in opteed_synchronous_sp_exit() 104 assert(cm_get_context(SECURE) == &optee_ctx->cpu_ctx); in opteed_synchronous_sp_exit() 107 assert(optee_ctx->c_rt_ctx != 0); in opteed_synchronous_sp_exit() 111 assert(0); in opteed_synchronous_sp_exit()
|
| /rk3399_ARM-atf/drivers/clk/ |
| H A D | clk.c | 18 assert((ops != NULL) && (ops->enable != NULL)); in clk_enable() 25 assert((ops != NULL) && (ops->disable != NULL)); in clk_disable() 32 assert((ops != NULL) && (ops->get_rate != NULL)); in clk_get_rate() 41 assert((ops != NULL) && (ops->set_rate != NULL)); in clk_set_rate() 53 assert((ops != NULL) && (ops->get_possible_parents_num != NULL)); in clk_get_possible_parents_num() 60 assert((ops != NULL) && (ops->get_parent != NULL)); in clk_get_parent() 67 assert((ops != NULL) && (ops->set_parent != NULL)); in clk_set_parent() 74 assert((ops != NULL) && (ops->is_enabled != NULL)); in clk_is_enabled() 85 assert((ops_ptr != NULL) && in clk_register()
|
| /rk3399_ARM-atf/drivers/intel/soc/stratix10/io/ |
| H 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() 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 …]
|
| /rk3399_ARM-atf/drivers/io/ |
| H 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() 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 …]
|
| /rk3399_ARM-atf/services/spd/tlkd/ |
| H 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()
|
| /rk3399_ARM-atf/bl2/ |
| H A 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()
|
| /rk3399_ARM-atf/lib/xlat_tables_v2/aarch32/ |
| H 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 …]
|
| /rk3399_ARM-atf/drivers/arm/css/scmi/ |
| H A D | scmi_common.c | 32 assert(ch->lock); in scmi_get_channel() 36 assert(SCMI_IS_CHANNEL_FREE( in scmi_get_channel() 83 assert(SCMI_IS_CHANNEL_FREE( in scmi_put_channel() 86 assert(ch->lock); in scmi_put_channel() 114 assert(mbx_mem->len == SCMI_PROTO_VERSION_RESP_LEN); in scmi_proto_version() 115 assert(token == SCMI_MSG_GET_TOKEN(mbx_mem->msg_header)); in scmi_proto_version() 148 assert(mbx_mem->len == SCMI_PROTO_MSG_ATTR_RESP_LEN); in scmi_proto_msg_attr() 149 assert(token == SCMI_MSG_GET_TOKEN(mbx_mem->msg_header)); in scmi_proto_msg_attr() 165 assert(ch && ch->info); in scmi_init() 166 assert(ch->info->db_reg_addr); in scmi_init() [all …]
|
| /rk3399_ARM-atf/lib/xlat_tables/aarch64/ |
| H A D | xlat_tables.c | 37 assert((max_addr & ADDR_MASK_48_TO_63) == 0U); in calc_physical_addr_size_bits() 78 assert(pa_range < ARRAY_SIZE(pa_range_bits_arr)); in get_max_supported_pa() 103 assert(el > 0U); in xlat_arch_current_el() 113 assert(el == 1U); in xlat_arch_get_xn_desc() 123 assert(PLAT_VIRT_ADDR_SPACE_SIZE >= in init_xlat_tables() 125 assert(PLAT_VIRT_ADDR_SPACE_SIZE <= MAX_VIRT_ADDR_SPACE_SIZE); in init_xlat_tables() 126 assert(IS_POWER_OF_TWO(PLAT_VIRT_ADDR_SPACE_SIZE)); in init_xlat_tables() 132 assert(max_va <= (PLAT_VIRT_ADDR_SPACE_SIZE - 1U)); in init_xlat_tables() 133 assert(max_pa <= (PLAT_PHY_ADDR_SPACE_SIZE - 1U)); in init_xlat_tables() 134 assert((PLAT_PHY_ADDR_SPACE_SIZE - 1U) <= get_max_supported_pa()); in init_xlat_tables() [all …]
|