X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;h=8afc49c53d6f9a17665c6f3e22469fa89f8b3dfb;hb=11e89d796647d72cd2667a568610521f84d6cc95;hp=840e506a129586d9c2857f22a86a4325cdfafc01;hpb=a1975cbec0da9ccce19f76df431b48d3cbfed3cd;p=pintos-anon

diff --git a/doc/vm.texi b/doc/vm.texi
index 840e506..8afc49c 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -670,7 +670,7 @@ kernel functions need to obtain memory.
 You can layer some other allocator on top of @func{palloc_get_page} if
 you like, but it should be the underlying mechanism.
 
-Also, you can use the @option{-u} option to @command{pintos} to limit
+Also, you can use the @option{-ul} option to @command{pintos} to limit
 the size of the user pool, which makes it easy to test your VM
 implementation with various user memory sizes.
 
@@ -713,7 +713,7 @@ with the file mapped into your address space, you can directly address
 it like so:
 
 @example
-write (addr, 64, STDOUT_FILENO);
+write (STDOUT_FILENO, addr, 64);
 @end example
 
 Similarly, if you wanted to replace the first byte of the file,