Re: [PATCH v5 10/12] x86/tdx: Add MSR support for TDX guest
From: Kuppuswamy, Sathyanarayanan
Date: Tue Aug 24 2021 - 14:12:24 EST
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