Searched defs:hw_config_dtb (Results 1 – 3 of 3) sorted by relevance
31 const void *hw_config_dtb = (const void *)config; in fconf_populate_gicv3_config() local71 const void *hw_config_dtb = (const void *)config; in fconf_populate_topology() local190 const void *hw_config_dtb = (const void *)config; in fconf_populate_uart_config() local276 const void *hw_config_dtb = (const void *)config; in fconf_populate_cpu_timer() local
16 uintptr_t hw_config_dtb; variable
37 const void *hw_config_dtb = (const void *)config; in fconf_populate_sec_intr_config() local