Re: [PATCH v3 01/26] x86/virt/tdx: Print SEAMCALL leaf numbers in decimal

[Chao Gao]

On Wed, Jan 28, 2026 at 08:26:43AM -0800, Dave Hansen wrote:
>On 1/23/26 06:55, Chao Gao wrote:
>> Both TDX spec and kernel defines SEAMCALL leaf numbers as decimal. Printing
>> them in hex makes no sense. Correct it.
>
>This patch has zero to do with "Runtime TDX Module update support". Why
>is it in this series?

Will drop it.

It was included because it came up during review of previous versions.