vmcs12_write_any 1384 arch/x86/kvm/vmx/nested.c 		vmcs12_write_any(vmcs12, field.encoding, field.offset, val);
vmcs12_write_any 4768 arch/x86/kvm/vmx/nested.c 	vmcs12_write_any(vmcs12, field, offset, field_value);