204 static u64 generation_mmio_spte_mask(unsigned int gen)  in generation_mmio_spte_mask()  argument
208 	WARN_ON(gen & ~MMIO_GEN_MASK);  in generation_mmio_spte_mask()
210 	mask = (gen & MMIO_GEN_LOW_MASK) << MMIO_SPTE_GEN_LOW_SHIFT;  in generation_mmio_spte_mask()
211 	mask |= ((u64)gen >> MMIO_GEN_LOW_SHIFT) << MMIO_SPTE_GEN_HIGH_SHIFT;  in generation_mmio_spte_mask()
217 	unsigned int gen;  in get_mmio_spte_generation()  local
221 	gen = (spte >> MMIO_SPTE_GEN_LOW_SHIFT) & MMIO_GEN_LOW_MASK;  in get_mmio_spte_generation()
222 	gen |= (spte >> MMIO_SPTE_GEN_HIGH_SHIFT) << MMIO_GEN_LOW_SHIFT;  in get_mmio_spte_generation()
223 	return gen;  in get_mmio_spte_generation()
234 	unsigned int gen = kvm_current_mmio_generation(kvm);  in mark_mmio_spte()  local
235 	u64 mask = generation_mmio_spte_mask(gen);  in mark_mmio_spte()
240 	trace_mark_mmio_spte(sptep, gfn, access, gen);  in mark_mmio_spte()