[intel-tdx:guest 70/126] arch/x86/kernel/cc_platform.c: asm/tdx.h is included more than once.

[kernel test robot]

tree:   https://github.com/intel/tdx.git guest
head:   00e7708dd946e76b7a5e973162ae71111ca32aea
commit: 6a67679c8809382f3bb97bd485c6e99e424543f2 [70/126] x86/tdx: Add device filter support for x86 TDX guest platform
compiler: gcc-9 (Debian 9.3.0-22) 9.3.0

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@xxxxxxxxx>


includecheck warnings: (new ones prefixed by >>)
>> arch/x86/kernel/cc_platform.c: asm/tdx.h is included more than once.

Please review and possibly fold the followup patch.

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@xxxxxxxxxxxx