X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=016c24d2de46ca88446b1fcfc6ba74650fc9c94e;hp=5961deba3e6f8d82cd0e75abab89321d87cda597;hb=1c765c09e567d3da51d5249932daa71f8a74ff9d;hpb=49c19e58aa14fba779bfe331b1ebaba62d31dfa5

diff --git a/src/threads/init.c b/src/threads/init.c
index 5961deb..016c24d 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -189,7 +189,7 @@ paging_init (void)
      new page tables immediately.  See [IA32-v2a] "MOV--Move
      to/from Control Registers" and [IA32-v3a] 3.7.5 "Base Address
      of the Page Directory". */
-  asm volatile ("movl %0, %%cr3" :: "r" (vtop (base_page_dir)));
+  asm volatile ("movl %0, %%cr3" : : "r" (vtop (base_page_dir)));
 }
 
 /* Breaks the kernel command line into words and returns them as