vmx_exit         7983 arch/x86/kvm/vmx/vmx.c module_exit(vmx_exit);
vmx_exit         8037 arch/x86/kvm/vmx/vmx.c 		vmx_exit();