[kbuild-all] [intel-tdx:tdx/guest-rebased 55/133] arch/x86/kernel/tdx.c:224:5: warning: no previous prototype for 'tdx_hcall_set_notify_intr'