projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39123d9) | 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)
commitc226f6e2ff058108a24b6879489bcdc930681a82
treec8b1ed6737df2583d4cbf1b9163ad5f518bf480ctree | snapshot
parent39123d95ba252a473acd5e7c47d215f00b673438commit | 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