projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6863628) | patch
Clarify page fault handler for get/put_user().
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 5 Apr 2006 19:36:53 +0000 (19:36 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 5 Apr 2006 19:36:53 +0000 (19:36 +0000)
commit6522eccbdf1e2cd72596edc0c641bd25e4d27f9d
treeb6c5b5a64c34dea61d5a4c1577a3b52536647e4etree | snapshot
parent6863628ceb049af4dcb60d9d04286d2b5b25ef94commit | diff
Clarify page fault handler for get/put_user().
Thanks to Poornima Vijayashanker <pv6@stanford.edu> for question.
doc/userprog.texi diff | blob | history
Pintos public repository