Home
last modified time | relevance | path

Searched refs:val64 (Results 1 – 2 of 2) sorted by relevance

/arm-trusted-firmware-2.8.0/lib/fconf/
A Dfconf_dyn_cfg_getter.c110 uint64_t val64; in fconf_populate_dtb_registry() local
113 rc = fdt_read_uint64(dtb, child, "load-address", &val64); in fconf_populate_dtb_registry()
118 config_addr = (uintptr_t)val64; in fconf_populate_dtb_registry()
137 rc = fdt_read_uint64(dtb, child, "ns-load-address", &val64); in fconf_populate_dtb_registry()
139 ns_config_addr = (uintptr_t)val64; in fconf_populate_dtb_registry()
A Dfconf_tbbr_getter.c20 uint64_t val64; in fconf_populate_tbbr_dyn_config() local
58 err = fdt_read_uint64(dtb, node, "mbedtls_heap_addr", &val64); in fconf_populate_tbbr_dyn_config()
64 tbbr_dyn_config.mbedtls_heap_addr = (void *)(uintptr_t)val64; in fconf_populate_tbbr_dyn_config()

Completed in 4 milliseconds