y1                 52 kern/include/endian.h void split64to32(uint64_t x, uint32_t *y1, uint32_t *y2);
y1                150 kern/lib/bswap.c split64to32(uint64_t x, uint32_t *y1, uint32_t *y2)
y1                153 kern/lib/bswap.c 	*y1 = x >> 32;
y1                156 kern/lib/bswap.c 	*y1 = x & 0xffffffff;