Searched refs:config_base (Results 1 – 4 of 4) sorted by relevance
| /tf-a-ffa_el3_spmc/plat/arm/common/ |
| A D | arm_dyn_cfg_helpers.c | 156 static int arm_set_event_log_info(uintptr_t config_base, in arm_set_event_log_info() argument
163 void *dtb = (void *)config_base; in arm_set_event_log_info()
218 flush_dcache_range(config_base, fdt_totalsize(dtb)); in arm_set_event_log_info()
234 int arm_set_tos_fw_info(uintptr_t config_base, uintptr_t log_addr, in arm_set_tos_fw_info() argument
239 assert(config_base != 0UL); in arm_set_tos_fw_info()
243 err = arm_set_event_log_info(config_base, in arm_set_tos_fw_info()
266 int arm_set_nt_fw_info(uintptr_t config_base, in arm_set_nt_fw_info() argument
276 assert(config_base != 0UL); in arm_set_nt_fw_info()
293 err = arm_set_event_log_info(config_base, in arm_set_nt_fw_info()
|
| A D | arm_bl2_setup.c | 31 static uintptr_t config_base; variable
70 config_base = fw_config; in arm_bl2_early_platform_setup()
167 fconf_populate("FW_CONFIG", config_base); in bl2_plat_arch_setup()
|
| /tf-a-ffa_el3_spmc/include/drivers/measured_boot/ |
| A D | event_log.h | 66 int (*set_nt_fw_info)(uintptr_t config_base,
71 int (*set_tos_fw_info)(uintptr_t config_base, uintptr_t log_addr,
|
| /tf-a-ffa_el3_spmc/include/plat/arm/common/ |
| A D | plat_arm.h | 245 int arm_set_tos_fw_info(uintptr_t config_base, uintptr_t log_addr,
247 int arm_set_nt_fw_info(uintptr_t config_base,
|
Completed in 4 milliseconds