uint64_t           41 kern/include/endian.h uint64_t bswap64(uint64_t);
uint64_t           47 kern/include/endian.h uint64_t ntohll(uint64_t);
uint64_t           48 kern/include/endian.h uint64_t htonll(uint64_t);
uint64_t           51 kern/include/endian.h void join32to64(uint32_t x1, uint32_t x2, uint64_t *y2);
uint64_t           52 kern/include/endian.h void split64to32(uint64_t x, uint32_t *y1, uint32_t *y2);
uint64_t           62 kern/lib/bswap.c uint64_t
uint64_t           63 kern/lib/bswap.c bswap64(uint64_t val)
uint64_t          121 kern/lib/bswap.c TO(ll, 64, uint64_t)
uint64_t          138 kern/lib/bswap.c join32to64(uint32_t x1, uint32_t x2, uint64_t *y2)
uint64_t          141 kern/lib/bswap.c 	*y2 = ((uint64_t)x1 << 32) | (uint64_t)x2;
uint64_t          143 kern/lib/bswap.c 	*y2 = (uint64_t)x1 | ((uint64_t)x2 << 32);
uint64_t          150 kern/lib/bswap.c split64to32(uint64_t x, uint32_t *y1, uint32_t *y2)