le64_to_cpu
lower_32_bits(le64_to_cpu(ip->base_address_64[kk])) & 0x3FFFFFFF;
lower_32_bits(le64_to_cpu(ip->base_address_64[k])) & 0x3FFFFFFF;
record->ts = le64_to_cpu(tmp);
record->offset = (le64_to_cpu(tmp) & 0xffffffffffff);
record->retired_page = (le64_to_cpu(tmp) & 0xffffffffffff);
*wptr = le64_to_cpu(*ptr);
return le64_to_cpu(*fence_drv->cpu_addr);