X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fsc-boundary-2.c;fp=src%2Ftests%2Fuserprog%2Fsc-boundary-2.c;h=de357fcb6f7cd332ec3f83178c89adac3c7db883;hb=42a67e9ac6854ec56c35c82e1ad9c4e2c8662139;hp=47d28c6dfcbcec1de4b2240db03cf6671ef5b5e0;hpb=ff8effb2f514ca54a594074e1cc33b22a1978050;p=pintos-anon diff --git a/src/tests/userprog/sc-boundary-2.c b/src/tests/userprog/sc-boundary-2.c index 47d28c6..de357fc 100644 --- a/src/tests/userprog/sc-boundary-2.c +++ b/src/tests/userprog/sc-boundary-2.c @@ -1,3 +1,7 @@ +/* Invokes a system call with one byte of the system call's + argument on a separate page from the rest of the bytes. This + must work. */ + #include #include "tests/userprog/boundary.h" #include "tests/lib.h"