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

/trusted-firmware-a/lib/fconf/
A D	fconf_tbbr_getter.c	20 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()
A D	fconf_dyn_cfg_getter.c	92 uint64_t val64; in fconf_populate_dtb_registry() local 95 rc = fdt_read_uint64(dtb, child, "load-address", &val64); in fconf_populate_dtb_registry() 100 config_addr = (uintptr_t)val64; in fconf_populate_dtb_registry()

Completed in 2 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023