Searched refs:vmc_cpu_gen (Results 1 – 1 of 1) sorted by relevance
175 uint64_t vmc_cpu_gen; member1080 vmc->vmc_cpu_gen = gen; in vmc_table_enter()1162 if (vmc->vmc_cpu_gen < gen) { in vmc_space_invalidate()