tree: https://github.com/intel/tdx.git tdx/guest-rebased head: e3995864d37c56f431c93fc3dc454d9c65f5e9ea commit: 4a3880b5341dcd044ac45b1483342f005d1ec083 [82/133] x86/tdx: Disable kvmclock in TDX 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 includecheck warnings: (new ones prefixed by >>) >> arch/x86/kernel/kvmclock.c: linux/cc_platform.h is included more than once. --- 0-DAY CI Kernel Test Service, Intel Corporation https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org