__kvm_mmu_free_some_pages   43 arch/x86/kvm/mmu.h 		__kvm_mmu_free_some_pages(vcpu);
__kvm_mmu_free_some_pages  550 include/asm-x86/kvm_host.h void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu);