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