vmx_vmexit        349 arch/x86/kvm/vmx/vmx.c void vmx_vmexit(void);
vmx_vmexit       3898 arch/x86/kvm/vmx/vmx.c 	vmcs_writel(HOST_RIP, (unsigned long)vmx_vmexit); /* 22.2.5 */