X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.c;h=3637b0013edd9c92f347f23f60e230ec00efcfbc;hb=e80b8a193eb5fcafc08dfab7a9c2ef274a274eca;hp=8e7d575afe7928ac5f22c57c11719e2107dcae50;hpb=42e7e6f07b1a0fbd3d887419d37cf5d344bcc6f7;p=pintos-anon

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 8e7d575..3637b00 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -51,7 +51,7 @@ intr_get_level (void)
 {
   uint32_t flags;
   
-  asm ("pushfl; popl %0" : "=g" (flags));
+  asm volatile ("pushfl; popl %0" : "=g" (flags));
 
   return flags & FLAG_IF ? INTR_ON : INTR_OFF;
 }