Fixes i386 build broke by D26531
Test on powerpc64 at OSU (by @afscoelho_gmail.com)
Buildkernel on powerpc, i386, powerpc64, powerpc64le, amd4
Using only htole64() won't work in all cases.
Consider the following code running on a BE machine:
uint32_t u32 = 0x12345678; uint64_t u64; u64 = htole32(u32); printf("0x%016lx\n", u64); u64 = htole64(u32); printf("0x%016lx\n", u64);
It will print the following:
So, using htole64() on a 32-bit value doesn't give the same result as htole32().