Re: [PATCH v3 01/26] x86/virt/tdx: Print SEAMCALL leaf numbers in decimal
From: Tony Lindgren
Date: Mon Jan 26 2026 - 05:04:02 EST
On Fri, Jan 23, 2026 at 06:55:09AM -0800, Chao Gao wrote:
> Both TDX spec and kernel defines SEAMCALL leaf numbers as decimal. Printing
> them in hex makes no sense. Correct it.
Reviewed-by: Tony Lindgren <tony.lindgren@xxxxxxxxxxxxxxx>