Searched refs:tb_fw_cfg_dtb (Results 1 – 2 of 2) sorted by relevance
76 uintptr_t tb_fw_cfg_dtb; in arm_bl1_set_mbedtls_heap() local95 tb_fw_cfg_dtb = tb_fw_config_info->config_addr; in arm_bl1_set_mbedtls_heap()97 if ((tb_fw_cfg_dtb != 0UL) && (mbedtls_heap_addr != NULL)) { in arm_bl1_set_mbedtls_heap()99 void *dtb = (void *)tb_fw_cfg_dtb; in arm_bl1_set_mbedtls_heap()117 flush_dcache_range(tb_fw_cfg_dtb, fdt_totalsize(dtb)); in arm_bl1_set_mbedtls_heap()
317 uintptr_t tb_fw_cfg_dtb; in arm_set_tb_fw_info() local323 tb_fw_cfg_dtb = tb_fw_config_info->config_addr; in arm_set_tb_fw_info()327 err = arm_set_event_log_info(tb_fw_cfg_dtb, in arm_set_tb_fw_info()
