evmcs_write64     197 arch/x86/kvm/vmx/ops.h 		return evmcs_write64(field, value);
evmcs_write64     209 arch/x86/kvm/vmx/ops.h 		return evmcs_write64(field, value);