X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fpagedir.c;h=30bdfe263b67f58ee9787b413036de6984c7628b;hb=0f158b317af71b534169ca56ac4104b97f026663;hp=7d993755ca2b5e10e3e0fe2cb3d530b560dc60c6;hpb=a85e535e696138054a7b461ea8072f0d76c5b668;p=pintos-anon

diff --git a/src/userprog/pagedir.c b/src/userprog/pagedir.c
index 7d99375..30bdfe2 100644
--- a/src/userprog/pagedir.c
+++ b/src/userprog/pagedir.c
@@ -227,7 +227,7 @@ pagedir_activate (uint32_t *pd)
      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 (pd)));
+  asm volatile ("movl %0, %%cr3" : : "r" (vtop (pd)) : "memory");
 }
 
 /* Returns the currently active page directory. */