Lines Matching defs:config

33 int fconf_populate_gicv3_config(uintptr_t config)
40 	const void *hw_config_dtb = (const void *)config;
73 int fconf_populate_topology(uintptr_t config)
80 	const void *hw_config_dtb = (const void *)config;
190 int fconf_populate_uart_config(uintptr_t config)
199 	const void *hw_config_dtb = (const void *)config;
280 int fconf_populate_cpu_timer(uintptr_t config)
285 	const void *hw_config_dtb = (const void *)config;
305 int fconf_populate_dram_layout(uintptr_t config)
311 	const void *hw_config_dtb = (const void *)config;