Searched defs:high (Results 1 – 4 of 4) sorted by relevance
9 u32 high = new >> 32; in atomic64_cmpxchg() local
174 uint64_t high = prng32(state); in prng64() local
70 u32 high = rem >> 32; in __div64_32() local
8860 u64 low, high; in vmx_store_tsc_test() local