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