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

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. */