Searched refs:initial_high (Results 1 – 1 of 1) sorted by relevance
236 u32 initial_high, low, high; in vmware_steal_clock() local239 initial_high = READ_ONCE(steal->clock_high); in vmware_steal_clock()246 } while (initial_high != high); in vmware_steal_clock()