Searched defs:val_32 (Results 1 – 2 of 2) sorted by relevance
| /freebsd/stand/kboot/kboot/arch/powerpc64/ | ||
| H A D | load_addr.c | 57 uint32_t val_32; in kboot_get_phys_load_segment() local |
| /freebsd/contrib/bearssl/inc/ | ||
| H A D | bearssl_hash.h | 1111 uint32_t val_32[25]; member |