[kbuild-all] [intel-tdx:tdx/guest-rebased 104/133] arch/x86/kernel/tdx.c:508:14: warning: no previous prototype for 'tdx_write_msr'