Searched defs:val64 (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/lib/fconf/ | ||
| H A D | fconf_tbbr_getter.c | 20 uint64_t val64; in fconf_populate_tbbr_dyn_config() local |
| H A D | fconf_dyn_cfg_getter.c | 110 uint64_t val64; in fconf_populate_dtb_registry() local |