__vmx_load_host_state  612 arch/x86/kvm/vmx.c 	__vmx_load_host_state(vmx);
__vmx_load_host_state  678 arch/x86/kvm/vmx.c 	__vmx_load_host_state(to_vmx(vcpu));