load_vmcs12_host_state 3040 arch/x86/kvm/vmx/nested.c static void load_vmcs12_host_state(struct kvm_vcpu *vcpu, load_vmcs12_host_state 3184 arch/x86/kvm/vmx/nested.c load_vmcs12_host_state(vcpu, vmcs12); load_vmcs12_host_state 4176 arch/x86/kvm/vmx/nested.c load_vmcs12_host_state(vcpu, vmcs12);