free_mmu_pages   5824 arch/x86/kvm/mmu.c 	free_mmu_pages(&vcpu->arch.guest_mmu);
free_mmu_pages   6385 arch/x86/kvm/mmu.c 	free_mmu_pages(&vcpu->arch.root_mmu);
free_mmu_pages   6386 arch/x86/kvm/mmu.c 	free_mmu_pages(&vcpu->arch.guest_mmu);