[kbuild-all] [intel-tdx:kvm-upstream-workaround 86/141] arch/x86/kvm/vmx/tdx_stubs.c:26:5: warning: no previous prototype for 'tdx_deliver_posted_interrupt'