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);