Lines Matching refs:generation
2532 * on/off, or when starting a new generation and the masterclock is
2534 * taken _after_ the new generation is created).
2667 * offset for the vcpu and tracks the TSC matching generation that the vcpu
2693 * For each generation, we track the original measured
2709 /* Keep track of which generation this VCPU has synchronized to */
3697 if (unlikely(slots->generation != ghc->generation ||
5091 if (unlikely(slots->generation != ghc->generation ||
5114 * cache generation against the memslots generation.
12918 * memslots->generation has been incremented.
12919 * mmio generation may have reached its maximum value.