Searched refs:tb_fw_cfg_dtb (Results 1 – 1 of 1) sorted by relevance
80 uintptr_t tb_fw_cfg_dtb; in arm_bl1_set_mbedtls_heap() local99 tb_fw_cfg_dtb = tb_fw_config_info->config_addr; in arm_bl1_set_mbedtls_heap()101 if ((tb_fw_cfg_dtb != 0UL) && (mbedtls_heap_addr != NULL)) { in arm_bl1_set_mbedtls_heap()103 void *dtb = (void *)tb_fw_cfg_dtb; in arm_bl1_set_mbedtls_heap()122 flush_dcache_range(tb_fw_cfg_dtb, fdt_totalsize(dtb)); in arm_bl1_set_mbedtls_heap()136 uintptr_t tb_fw_cfg_dtb; in arm_bl1_set_bl2_hash() local143 tb_fw_cfg_dtb = tb_fw_config_info->config_addr; in arm_bl1_set_bl2_hash()150 if (tb_fw_cfg_dtb == 0UL) { in arm_bl1_set_bl2_hash()164 err = arm_set_bl2_hash_info((void *)tb_fw_cfg_dtb, hash_data); in arm_bl1_set_bl2_hash()176 flush_dcache_range(tb_fw_cfg_dtb, fdt_totalsize((void *)tb_fw_cfg_dtb)); in arm_bl1_set_bl2_hash()