--- Libc/Libc-1534.40.2/sys/settimeofday.c
+++ Libc/Libc-825.26/sys/settimeofday.c
@@ -21,17 +21,9 @@
  * @APPLE_LICENSE_HEADER_END@
  */
 
-#include <TargetConditionals.h>
-#if !TARGET_OS_DRIVERKIT
+#include <sys/time.h>
 #include <notify.h>
 #include <notify_keys.h>
-#else
-#define notify_post(...)
-#endif
-#include <sys/time.h>
-#include <stdio.h>
-#include <stdlib.h>
-#include "_simple.h"
 
 #ifndef kNotifyClockSet
 #define kNotifyClockSet "com.apple.system.clock_set"
@@ -48,12 +40,5 @@
 	int ret = __settimeofday(tp, tzp);
 	if (ret == 0) notify_post(kNotifyClockSet);
 
-	if (tp) {
-		char *msg = NULL;
-		asprintf(&msg, "settimeofday({%#lx,%#x}) == %d", tp->tv_sec, tp->tv_usec, ret);
-		_simple_asl_log(ASL_LEVEL_NOTICE, "com.apple.settimeofday", msg);
-		free(msg);
-	}
-
 	return ret;
 }