x2                 51 kern/include/endian.h void join32to64(uint32_t x1, uint32_t x2, uint64_t *y2);
x2                138 kern/lib/bswap.c join32to64(uint32_t x1, uint32_t x2, uint64_t *y2)
x2                141 kern/lib/bswap.c 	*y2 = ((uint64_t)x1 << 32) | (uint64_t)x2;
x2                143 kern/lib/bswap.c 	*y2 = (uint64_t)x1 | ((uint64_t)x2 << 32);