Symbol: __kvm_mmu_refresh_passthrough_bits
arch/x86/kvm/mmu.h
107
void __kvm_mmu_refresh_passthrough_bits(struct kvm_vcpu *vcpu,
arch/x86/kvm/mmu.h
186
__kvm_mmu_refresh_passthrough_bits(vcpu, mmu);