Symbol: kvm_vcpu_put_hw_mmu
arch/arm64/include/asm/kvm_nested.h
81
extern void kvm_vcpu_put_hw_mmu(struct kvm_vcpu *vcpu);
arch/arm64/kvm/arm.c
761
kvm_vcpu_put_hw_mmu(vcpu);