Searched refs:val64 (Results 1 – 2 of 2) sorted by relevance
110 uint64_t val64; in fconf_populate_dtb_registry() local113 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()138 &val64); in fconf_populate_dtb_registry()140 secondary_config_addr = (uintptr_t)val64; in fconf_populate_dtb_registry()
20 uint64_t val64; in fconf_populate_tbbr_dyn_config() local58 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()