Searched defs:val_64 (Results 1 – 2 of 2) sorted by relevance
| /freebsd/stand/kboot/kboot/arch/powerpc64/ | ||
| H A D | load_addr.c | 56 uint64_t val_64; in kboot_get_phys_load_segment() local |
| /freebsd/contrib/bearssl/inc/ | ||
| H A D | bearssl_hash.h | 1112 uint64_t val_64[16]; member |