X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fsc-boundary.c;h=28525684d9676c70c4913ef2a4d8c513d2f44009;hb=09bbcd059d4ce05bf6b8da829795409e2da9a899;hp=86371d6365b261dfeecc7c1cdbd90d59785cfe9c;hpb=bb15e05316dc37273c24dcda094806a0250a328b;p=pintos-anon

diff --git a/src/tests/userprog/sc-boundary.c b/src/tests/userprog/sc-boundary.c
index 86371d6..2852568 100644
--- a/src/tests/userprog/sc-boundary.c
+++ b/src/tests/userprog/sc-boundary.c
@@ -1,3 +1,6 @@
+/* Invokes a system call with the system call number and its
+   argument on separate pages.  This must work. */
+
 #include <syscall-nr.h>
 #include "tests/userprog/boundary.h"
 #include "tests/lib.h"