Searched refs:initial_high (Results 1 – 1 of 1) sorted by relevance
225 uint32_t initial_high, low, high; in vmware_steal_clock() local228 initial_high = READ_ONCE(steal->clock_high); in vmware_steal_clock()235 } while (initial_high != high); in vmware_steal_clock()