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 |