Re: [PATCH v19 030/130] KVM: TDX: Add helper functions to print TDX SEAMCALL error

[Huang, Kai]

On Mon, 2024-02-26 at 00:25 -0800, isaku.yamahata@xxxxxxxxx wrote:
> --- /dev/null
> +++ b/arch/x86/kvm/vmx/tdx_error.c
> @@ -0,0 +1,21 @@
> +// SPDX-License-Identifier: GPL-2.0
> +/* functions to record TDX SEAMCALL error */
> +
> +#include <linux/kernel.h>
> +#include <linux/bug.h>
> +

I don't see why the above two are needed, especially the giant
<linux/kernel.h>.

<linux/printk.h> should be sufficient for the current patch.