[kbuild-all] [intel-tdx:guest 54/144] arch/x86/kernel/tdx.c:225:5: warning: no previous prototype for 'tdx_hcall_set_notify_intr'