[kbuild-all] [intel-tdx:kvm-upstream 80/152] arch/x86/kvm/vmx/tdx_stubs.c:10:5: error: no previous prototype for 'tdx_vcpu_create'