free_kvm_area    1247 arch/x86/kvm/vmx.c 			free_kvm_area();
free_kvm_area    1269 arch/x86/kvm/vmx.c 	free_kvm_area();