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

From: Dave Hansen

Date: Wed Jan 28 2026 - 11:59:20 EST


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?