mmu_free_roots   1480 arch/x86/kvm/mmu.c 	mmu_free_roots(vcpu);
mmu_free_roots   1507 arch/x86/kvm/mmu.c 	mmu_free_roots(vcpu);
mmu_free_roots   1660 arch/x86/kvm/mmu.c 	mmu_free_roots(vcpu);