Generated by: scripts/checkincludes.pl

Reported-by: kernel test robot <lkp@intel.com>
Signed-off-by: kernel test robot <lkp@intel.com>
---
 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>