[kbuild-all] [intel-tdx:kvm-upstream-workaround 111/144] arch/x86/kvm/vmx/tdx_stubs.c:14:6: warning: no previous prototype for 'tdx_vm_teardown'