133 static int arm_set_dpe_context_handle(uintptr_t config_base,  in arm_set_dpe_context_handle()  argument
137 	void *dtb = (void *)config_base;  in arm_set_dpe_context_handle()
173 		flush_dcache_range(config_base, fdt_totalsize(dtb));  in arm_set_dpe_context_handle()
190 	uintptr_t config_base;  in arm_set_nt_fw_info()  local
197 	config_base = cfg_mem_params->image_info.image_base;  in arm_set_nt_fw_info()
200 	return arm_set_dpe_context_handle(config_base, ctx_handle);  in arm_set_nt_fw_info()
278 static int arm_set_event_log_info(uintptr_t config_base,  in arm_set_event_log_info()  argument
285 	void *dtb = (void *)config_base;  in arm_set_event_log_info()
350 		flush_dcache_range(config_base, fdt_totalsize(dtb));  in arm_set_event_log_info()
368 	uintptr_t config_base;  in arm_set_tos_fw_info()  local
378 	config_base = cfg_mem_params->image_info.image_base;  in arm_set_tos_fw_info()
385 	err = arm_set_event_log_info(config_base,  in arm_set_tos_fw_info()
414 	uintptr_t config_base;  in arm_set_nt_fw_info()  local
425 	config_base = cfg_mem_params->image_info.image_base;  in arm_set_nt_fw_info()
437 	err = arm_set_event_log_info(config_base,  in arm_set_nt_fw_info()