Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / src / lib / user / syscall.c

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index 078d7969e02b3ed15a61e5c628e3a8e0dbfba37b..6cc02d1df3df4c5c14bf19c95726f46d3edd9bfe 100644 (file)
--- a/src/lib/user/syscall.c
+++ b/src/lib/user/syscall.c
@@ -147,10 +147,10 @@ mmap (int fd, void *addr)
   return syscall2 (SYS_mmap, fd, addr);
 }
 
-bool
+void
 munmap (mapid_t mapid)
 {
-  return syscall1 (SYS_munmap, mapid);
+  syscall1 (SYS_munmap, mapid);
 }
 
 bool