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.
