[kbuild-all] [intel-tdx:kvm-upstream 127/152] arch/x86/kvm/vmx/tdx_stubs.c:29:5: error: no previous prototype for 'tdx_smi_allowed'