diff --git a/kernel/log.cc b/kernel/log.cc
index 2f5a6350b..2c3e45c2b 100644
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -388,12 +388,6 @@ void log_formatted_file_error(std::string_view filename, int lineno, std::string
 	log_error_with_prefix(prefix, str);
 }
 
-void logv_file_error(const string &filename, int lineno,
-                     const char *format, va_list ap)
-{
-	log_formatted_file_error(filename, lineno, vstringf(format, ap));
-}
-
 void log_experimental(const std::string &str)
 {
 	if (log_experimentals_ignored.count(str) == 0 && log_experimentals.count(str) == 0) {
diff --git a/kernel/log.h b/kernel/log.h
index d132ba1a0..37260319b 100644
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -24,7 +24,6 @@
 
 #include <time.h>
 
-#include <atomic>
 #include <regex>
 #define YS_REGEX_COMPILE(param) std::regex(param, \
 				std::regex_constants::nosubs | \
@@ -44,20 +43,11 @@
 #  endif
 #endif
 
-#if defined(_MSC_VER)
-// At least this is not in MSVC++ 2013.
-#  define __PRETTY_FUNCTION__ __FUNCTION__
-#endif
-
 // from libs/sha1/sha1.h
 class SHA1;
 
 YOSYS_NAMESPACE_BEGIN
 
-#define S__LINE__sub2(x) #x
-#define S__LINE__sub1(x) S__LINE__sub2(x)
-#define S__LINE__ S__LINE__sub1(__LINE__)
-
 // YS_DEBUGTRAP is a macro that is functionally equivalent to a breakpoint
 // if the platform provides such functionality, and does nothing otherwise.
 // If no debugger is attached, it starts a just-in-time debugger if available,
@@ -120,9 +110,6 @@ extern int log_make_debug;
 extern int log_force_debug;
 extern int log_debug_suppressed;
 
-[[deprecated]]
-[[noreturn]] void logv_file_error(const string &filename, int lineno, const char *format, va_list ap);
-
 void set_verific_logging(void (*cb)(int msg_type, const char *message_id, const char* file_path, unsigned int left_line, unsigned int left_col, unsigned int right_line, unsigned int right_col, const char *msg));
 extern void (*log_verific_callback)(int msg_type, const char *message_id, const char* file_path, unsigned int left_line, unsigned int left_col, unsigned int right_line, unsigned int right_col, const char *msg);