Generated by: scripts/checkincludes.pl Reported-by: kernel test robot <lkp(a)intel.com&gt; Signed-off-by: kernel test robot <lkp(a)intel.com&gt; --- tdx.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/arch/x86/kvm/vmx/tdx.c b/arch/x86/kvm/vmx/tdx.c index 559e06a6420aa..26bbda183b2f3 100644 --- a/arch/x86/kvm/vmx/tdx.c +++ b/arch/x86/kvm/vmx/tdx.c @@ -1,6 +1,5 @@ // SPDX-License-Identifier: GPL-2.0 #include <linux/cpu.h> -#include <linux/mmu_context.h> #include <linux/kvm_host.h> #include <linux/jump_label.h> #include <linux/trace_events.h> @@ -9,7 +8,6 @@ #include <linux/perf_event.h> #include <linux/freelist.h> -#include <asm/fpu/xcr.h> #include <asm/virtext.h> #include <asm/fpu/xcr.h>