X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fpt-grow-pusha.c;h=f9762a512d1c5791bea793ad65f9d930e8f700c7;hb=1c765c09e567d3da51d5249932daa71f8a74ff9d;hp=759688066c05464eba2dc19f7f21264c6c6b4328;hpb=575dc45e34db19ee7808c116e93485b37e0df716;p=pintos-anon

diff --git a/src/tests/vm/pt-grow-pusha.c b/src/tests/vm/pt-grow-pusha.c
index 7596880..f9762a5 100644
--- a/src/tests/vm/pt-grow-pusha.c
+++ b/src/tests/vm/pt-grow-pusha.c
@@ -1,3 +1,7 @@
+/* Expand the stack by 32 bytes all at once using the PUSHA
+   instruction.
+   This must succeed. */
+
 #include <string.h>
 #include "tests/arc4.h"
 #include "tests/cksum.h"
@@ -12,5 +16,5 @@ test_main (void)
      "andl $0xfffff000, %%esp;"  /* Move stack pointer to bottom of page. */
      "pushal;"                   /* Push 32 bytes on stack at once. */
      "movl %%eax, %%esp"         /* Restore copied stack pointer. */
-     ::: "eax");                 /* Tell GCC we destroyed eax. */
+     : : : "eax");               /* Tell GCC we destroyed eax. */
 }