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