From: Ben Pfaff Date: Thu, 14 Oct 2004 00:10:41 +0000 (+0000) Subject: Restore verbatim. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=35b97d0503d2531ae4b3da93e176d394b87c2856;p=pintos-anon Restore verbatim. Fix table. --- diff --git a/doc/userprog.texi b/doc/userprog.texi index 67d7853..903d9c5 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -476,7 +476,7 @@ because there's no way to return an error code from a memory access. Therefore, for those who want to try the latter technique, we'll provide a little bit of helpful code: -@example +@verbatim /* Tries to copy a byte from user address USRC to kernel address DST. Returns true if successful, false if USRC is invalid. */ static inline bool get_user (uint8_t *dst, const uint8_t *usrc) { @@ -494,7 +494,7 @@ static inline bool put_user (uint8_t *udst, uint8_t byte) { : "=m" (*udst), "=&a" (eax) : "r" (byte)); return eax != 0; } -@end example +@end verbatim Each of these functions assumes that the user address has already been verified to be below @code{PHYS_BASE}. They also assume that you've @@ -805,12 +805,12 @@ You may find the non-standard @func{hex_dump} function, declared in Here's what it would show in the above example, given that @code{PHYS_BASE} is @t{0xc0000000}: -@example +@verbatim bfffffc0 00 00 00 00 | ....| bfffffd0 04 00 00 00 d8 ff ff bf-ed ff ff bf f5 ff ff bf |................| bfffffe0 f8 ff ff bf fc ff ff bf-00 00 00 00 00 2f 62 69 |............./bi| bffffff0 6e 2f 6c 73 00 2d 6c 00-2a 2e 68 00 2a 2e 63 00 |n/ls.-l.*.h.*.c.| -@end example +@end verbatim @node System Calls @section System Calls @@ -850,7 +850,7 @@ arbitrary: @html
@end html -@multitable {Address} {Value} +@multitable {@t{0xbffffe7c}} {Value} @item Address @tab Value @item @t{0xbffffe7c} @tab 3 @item @t{0xbffffe78} @tab 2