11 	u32 low, high;  in hi_lo_readq()  local
13 	high = readl(p + 1);  in hi_lo_readq()
16 	return low + ((u64)high << 32);  in hi_lo_readq()
28 	u32 low, high;  in hi_lo_readq_relaxed()  local
30 	high = readl_relaxed(p + 1);  in hi_lo_readq_relaxed()
33 	return low + ((u64)high << 32);  in hi_lo_readq_relaxed()
62 	u32 low, high;  in ioread64_hi_lo()  local
64 	high = ioread32(addr + sizeof(u32));  in ioread64_hi_lo()
67 	return low + ((u64)high << 32);  in ioread64_hi_lo()
84 	u32 low, high;  in ioread64be_hi_lo()  local
86 	high = ioread32be(addr);  in ioread64be_hi_lo()
89 	return low + ((u64)high << 32);  in ioread64be_hi_lo()