__be64_to_cpu
pte = __be64_to_cpu(rpte);
u64 orig_low = __be64_to_cpu(*low_be);
*high_be = __cpu_to_be64(__be64_to_cpu(*high_be) + 1);
#define be64_to_cpu __be64_to_cpu
conn->rxgk.start_time = __be64_to_cpu(rhdr.start_time);
raw64 = __be64_to_cpu(*((__u64 *)p));
if (__be64_to_cpu(*((__u64 *)p)) != cnf.ns_wide)
#define crb_csb_addr(c) __be64_to_cpu(c->csb_addr)
#define crb_nx_fault_addr(c) __be64_to_cpu(c->stamp.nx.fault_storage_addr)