diff --git a/console.c b/console.c
index 00aa7755d48659061d43f9705893e29a559e4557..ec3ecd06f42ee359a2345c3c72223d324e2c274e 100644
--- a/console.c
+++ b/console.c
@@ -323,7 +323,7 @@ struct spinlock kbd_lock;
 static uint shift;
 
 void
-kbd_intr()
+kbd_intr(void)
 {
   uint st, data, c;
 
@@ -418,7 +418,7 @@ console_read(int minor, char *dst, int n)
 }
 
 void
-console_init()
+console_init(void)
 {
   initlock(&console_lock, "console");
   initlock(&kbd_lock, "kbd");
diff --git a/main.c b/main.c
index 0d2a0171b4bd390a988de50dfaffc2df2179c385..76e9eebf4b1258ca5461f201580d6306a59f24de 100644
--- a/main.c
+++ b/main.c
@@ -116,7 +116,7 @@ mpmain(void)
 
 // proc[0] starts here, called by scheduler() in the ordinary way.
 void
-process0()
+process0(void)
 {
   struct proc *p0 = &proc[0];
   struct proc *p1;
diff --git a/usertests.c b/usertests.c
index beae189121187ab3bd0a4d5de25d479d6237ba5a..30673c3572d0f9d4010d7566b59d91bffad31ff3 100644
--- a/usertests.c
+++ b/usertests.c
@@ -350,7 +350,7 @@ mem(void)
 // two processes write to the same file descriptor
 // is the offset shared? does inode locking work?
 void
-sharedfd()
+sharedfd(void)
 {
   int fd, pid, i, n, nc, np;
   char buf[10];
@@ -399,7 +399,7 @@ sharedfd()
 // two processes write two different files at the same
 // time, to test block allocation.
 void
-twofiles()
+twofiles(void)
 {
   int fd, pid, i, j, n, total;
   char *fname;
@@ -462,7 +462,7 @@ twofiles()
 
 // two processes create and delete files in same directory
 void
-createdelete()
+createdelete(void)
 {
   int pid, i, fd;
   int n = 20;
@@ -540,7 +540,7 @@ createdelete()
 
 // can I unlink a file and still read it?
 void
-unlinkread()
+unlinkread(void)
 {
   int fd, fd1;
 
@@ -585,7 +585,7 @@ unlinkread()
 }
 
 void
-linktest()
+linktest(void)
 {
   int fd;
 
@@ -648,7 +648,7 @@ linktest()
 
 // test concurrent create of the same file
 void
-concreate()
+concreate(void)
 {
   char file[3];
   int i, pid, n, fd;
@@ -720,7 +720,7 @@ concreate()
 
 // directory that uses indirect blocks
 void
-bigdir()
+bigdir(void)
 {
   int i, fd;
   char name[10];
@@ -762,7 +762,7 @@ bigdir()
 }
 
 void
-subdir()
+subdir(void)
 {
   int fd, cc;
 
@@ -923,7 +923,7 @@ subdir()
 }
 
 void
-bigfile()
+bigfile(void)
 {
   int fd, i, total, cc;
 
@@ -979,7 +979,7 @@ bigfile()
 }
 
 void
-fourteen()
+fourteen(void)
 {
   int fd;