kvm_vmid_gen       54 virt/kvm/arm/arm.c static atomic64_t kvm_vmid_gen = ATOMIC64_INIT(1);
kvm_vmid_gen      507 virt/kvm/arm/arm.c 	u64 current_vmid_gen = atomic64_read(&kvm_vmid_gen);
kvm_vmid_gen      536 virt/kvm/arm/arm.c 		atomic64_inc(&kvm_vmid_gen);
kvm_vmid_gen      558 virt/kvm/arm/arm.c 	WRITE_ONCE(vmid->vmid_gen, atomic64_read(&kvm_vmid_gen));