diff --git a/bio.c b/bio.c
index 17965d1242a6531a401528c0628c141501cf9f6b..62675bf2a76dd214f12b93d32f4f60796d0bac7f 100644
--- a/bio.c
+++ b/bio.c
@@ -39,7 +39,7 @@ getblk(uint dev, uint sector)
 
   acquire(&buf_table_lock);
 
-  while(1){
+  for(;;){
     for(b = bufhead.next; b != &bufhead; b = b->next)
       if((b->flags & (B_BUSY|B_VALID)) && b->dev == dev && b->sector == sector)
         break;
diff --git a/bootmain.c b/bootmain.c
index 69c5b79300d0248a5941f3ec902e1d09b61a0dfc..c0c7a24f0a9a0fb7b5f5b2362c8a5fcd64052f18 100644
--- a/bootmain.c
+++ b/bootmain.c
@@ -58,7 +58,7 @@ cmain(void)
 bad:
   outw(0x8A00, 0x8A00);
   outw(0x8A00, 0x8E00);
-  while(1)
+  for(;;)
     ;
 }
 
diff --git a/fs.c b/fs.c
index 91d76ccc7ffbac5210467c53c8dece3ea5cf9053..e94ae5eb91f743b90a8fceea41419b32107d6410 100644
--- a/fs.c
+++ b/fs.c
@@ -479,7 +479,7 @@ namei(char *path, int mode, uint *ret_off, char **ret_last, struct inode **ret_i
   while(*cp == '/')
     cp++;
 
-  while(1){
+  for(;;){
     if(*cp == '\0'){
       if(mode == NAMEI_LOOKUP)
         return dp;
diff --git a/init.c b/init.c
index 5f691fc7980e82416921d1dcc4cbb2a5d694ef6f..ff6feafb8523b4540e060720c494b06a00892e3a 100644
--- a/init.c
+++ b/init.c
@@ -20,7 +20,7 @@ main(void)
   dup(0);
   dup(0);
 
-  while(1){
+  for(;;){
     pid = fork();
     if(pid < 0){
       puts("init: fork failed\n");
diff --git a/syscall.c b/syscall.c
index 4cff057b74c0be0d150c351cdb2b13739a4a344c..166bf4b5d068d94833127af6f04bceee019dd5ec 100644
--- a/syscall.c
+++ b/syscall.c
@@ -62,7 +62,7 @@ checkstring(uint s)
   char c;
   int len = 0;
 
-  while(1){
+  for(;;){
     if(fetchbyte(curproc[cpu()], s, &c) < 0)
       return -1;
     if(c == '\0')