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