free_kvm_area    2602 arch/x86/kvm/vmx/vmx.c 			free_kvm_area();
free_kvm_area    7782 arch/x86/kvm/vmx/vmx.c 	free_kvm_area();