4 files changed, 8 insertions, 2 deletions
diff --git a/lib/libc/internal/init/init.c b/lib/libc/internal/init/init.c
index 62678dce..85d4d8f0 100644
--- a/lib/libc/internal/init/init.c
+++ b/lib/libc/internal/init/init.c
@@ -2,6 +2,7 @@
 #include <libc.h>
 #include <stddef.h>
 #include <stdint.h>
+#include <stdio.h>
 #include <stdlib.h>
 #include <sys/cdefs.h>
 
diff --git a/lib/libc/internal/init/io.c b/lib/libc/internal/init/io.c
index 4790af89..2bf58a9a 100644
--- a/lib/libc/internal/init/io.c
+++ b/lib/libc/internal/init/io.c
@@ -1,7 +1,9 @@
-#include <atomic.h>
+#include "__stdio.h"
+#include "stddef.h"
 #include <fcntl.h>
 #include <libc.h>
 #include <stdio.h>
+#include <string.h>
 #include <unistd.h>
 
 struct __FILE *const stdout = (struct __FILE *)&__libc.stdout;
diff --git a/lib/libc/internal/init/tls.c b/lib/libc/internal/init/tls.c
index 302edd9d..e23efc0d 100644
--- a/lib/libc/internal/init/tls.c
+++ b/lib/libc/internal/init/tls.c
@@ -1,7 +1,8 @@
+#include "stddef.h"
 #include <__thread.h>
-#include <asm/prctl.h>
 #include <elf.h>
 #include <libc.h>
+#include <stdint.h>
 #include <string.h>
 #include <sys/mman.h>
 #include <syscall.h>
diff --git a/lib/libc/internal/init/vdso.c b/lib/libc/internal/init/vdso.c
index 73bfb46b..660bb74a 100644
--- a/lib/libc/internal/init/vdso.c
+++ b/lib/libc/internal/init/vdso.c
@@ -1,7 +1,9 @@
+#include "stddef.h"
 #include <asm/vdso.h>
 #include <elf.h>
 #include <string.h>
 #include <sys/auxv.h>
+#include <time.h>
 
 int (*__vdso_clock_gettime)(int, struct timespec *) = 0;
 int (*__vdso_getcpu)(unsigned *, unsigned *, void *) = 0;