vmid.c (f81483aaeb59da530b286fe5d081e1705eb5c886) vmid.c (79e06c4c4950be2abd8ca5d2428a8c915aa62c24)
1// SPDX-License-Identifier: GPL-2.0
2/*
3 * Copyright (C) 2019 Western Digital Corporation or its affiliates.
4 *
5 * Authors:
6 * Anup Patel <anup.patel@wdc.com>
7 */
8

--- 51 unchanged lines hidden (view full) ---

60 return false;
61
62 return unlikely(READ_ONCE(vmid->vmid_version) !=
63 READ_ONCE(vmid_version));
64}
65
66void kvm_riscv_stage2_vmid_update(struct kvm_vcpu *vcpu)
67{
1// SPDX-License-Identifier: GPL-2.0
2/*
3 * Copyright (C) 2019 Western Digital Corporation or its affiliates.
4 *
5 * Authors:
6 * Anup Patel <anup.patel@wdc.com>
7 */
8

--- 51 unchanged lines hidden (view full) ---

60 return false;
61
62 return unlikely(READ_ONCE(vmid->vmid_version) !=
63 READ_ONCE(vmid_version));
64}
65
66void kvm_riscv_stage2_vmid_update(struct kvm_vcpu *vcpu)
67{
68 int i;
68 unsigned long i;
69 struct kvm_vcpu *v;
70 struct cpumask hmask;
71 struct kvm_vmid *vmid = &vcpu->kvm->arch.vmid;
72
73 if (!kvm_riscv_stage2_vmid_ver_changed(vmid))
74 return;
75
76 spin_lock(&vmid_lock);

--- 44 unchanged lines hidden --- 		69 struct kvm_vcpu *v;
70 struct cpumask hmask;
71 struct kvm_vmid *vmid = &vcpu->kvm->arch.vmid;
72
73 if (!kvm_riscv_stage2_vmid_ver_changed(vmid))
74 return;
75
76 spin_lock(&vmid_lock);

--- 44 unchanged lines hidden ---