X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fvm.texi;h=fdbc5c68c492b2900745d29ad6d40cc9ab211080;hp=31a8f1ea54a8f3b81131334dcfb53d8e156b2413;hb=401069bc9a5b60287a21798f8a69c2f1c84dcba7;hpb=96d5454f0787f4d190291f823a545a035ccf40c3

diff --git a/doc/vm.texi b/doc/vm.texi
index 31a8f1e..fdbc5c6 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -576,7 +576,7 @@ bytes below the stack pointer.
 
 You will need to be able to obtain the current value of the user
 program's stack pointer.  Within a system call or a page fault generated
-by a user program, you can retrieve it from @code{esp} member of the
+by a user program, you can retrieve it from the @code{esp} member of the
 @struct{intr_frame} passed to @func{syscall_handler} or
 @func{page_fault}, respectively.  If you verify user pointers before
 accessing them (@pxref{Accessing User Memory}), these are the only cases
@@ -613,7 +613,7 @@ space.  The entire file is mapped into consecutive virtual pages
 starting at @var{addr}.
 
 Your VM system must lazily load pages in @code{mmap} regions and use the
-@code{mmap}'d file itself as backing store for the mapping.  That is,
+@code{mmap}ed file itself as backing store for the mapping.  That is,
 evicting a page mapped by @code{mmap} writes it back to the file it was
 mapped from.