y2                 51 kern/include/endian.h void join32to64(uint32_t x1, uint32_t x2, uint64_t *y2);
y2                 52 kern/include/endian.h void split64to32(uint64_t x, uint32_t *y1, uint32_t *y2);
y2                138 kern/lib/bswap.c join32to64(uint32_t x1, uint32_t x2, uint64_t *y2)
y2                141 kern/lib/bswap.c 	*y2 = ((uint64_t)x1 << 32) | (uint64_t)x2;
y2                143 kern/lib/bswap.c 	*y2 = (uint64_t)x1 | ((uint64_t)x2 << 32);
y2                150 kern/lib/bswap.c split64to32(uint64_t x, uint32_t *y1, uint32_t *y2)
y2                154 kern/lib/bswap.c 	*y2 = x & 0xffffffff;
y2                157 kern/lib/bswap.c 	*y2 = x >> 32;