Re: [PATCH v5 10/12] x86/tdx: Add MSR support for TDX guest

Kuppuswamy, Sathyanarayanan
2021-08-24T18:12:24Z

On 8/24/21 9:55 AM, Borislav Petkov wrote:
>> + regs->ax = val & UINT_MAX;
> regs->ax = (u32)val;
>

Ok. I will use your version in next submission.

--
Sathyanarayanan Kuppuswamy
Linux Kernel Developer