X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fuserprog.texi;h=aaf75e2aead1b749589d786f55e7ef12555d592f;hp=5bd0bb2b0d5681a14ceeeca5e49d9ff2b1ef724c;hb=59f738d500f51ffc5f487344865b8bed69c26281;hpb=cd904d16ef888b5001c4509580240c06056b6262

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 5bd0bb2..aaf75e2 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -204,7 +204,7 @@ commands for copying files out of a VM are similar, but substitute
 @option{-g} for @option{-p}.
 
 Incidentally, these commands work by passing special commands
-@command{put} and @command{get} on the kernel's command line and copying
+@command{extract} and @command{append} on the kernel's command line and copying
 to and from a special simulated ``scratch'' disk.  If you're very
 curious, you can look at the @command{pintos} script as well as
 @file{filesys/fsutil.c} to learn the implementation details.
@@ -443,7 +443,7 @@ put_user (uint8_t *udst, uint8_t byte)
 {
   int error_code;
   asm ("movl $1f, %0; movb %b2, %1; 1:"
-       : "=&a" (error_code), "=m" (*udst) : "r" (byte));
+       : "=&a" (error_code), "=m" (*udst) : "q" (byte));
   return error_code != -1;
 }
 @end verbatim