Symbol: vmcs12_read_any
arch/x86/kvm/vmx/hyperv_evmcs.h
163
return vmcs12_read_any((void *)evmcs, field, offset);
arch/x86/kvm/vmx/nested.c
1679
val = vmcs12_read_any(vmcs12, field.encoding,
arch/x86/kvm/vmx/nested.c
5669
value = vmcs12_read_any(vmcs12, field, offset);