vmcs12_read_any  1417 arch/x86/kvm/vmx/nested.c 			val = vmcs12_read_any(vmcs12, field.encoding,
vmcs12_read_any  4637 arch/x86/kvm/vmx/nested.c 	field_value = vmcs12_read_any(vmcs12, field, offset);