TDVMCALL_STATUS_INVALID_OPERAND
rc = TDVMCALL_STATUS_INVALID_OPERAND;
ret = TDVMCALL_STATUS_INVALID_OPERAND;
tdvmcall_set_return_code(vcpu, TDVMCALL_STATUS_INVALID_OPERAND);
tdvmcall_set_return_code(vcpu, TDVMCALL_STATUS_INVALID_OPERAND);
tdvmcall_set_return_code(vcpu, TDVMCALL_STATUS_INVALID_OPERAND);
tdvmcall_set_return_code(vcpu, TDVMCALL_STATUS_INVALID_OPERAND);
tdvmcall_set_return_code(vcpu, TDVMCALL_STATUS_INVALID_OPERAND);
tdvmcall_set_return_code(vcpu, TDVMCALL_STATUS_INVALID_OPERAND);