projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 828d300) | patch
Activate the base page directory if pagedir_activate() is passed a
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 2 Sep 2004 20:59:40 +0000 (20:59 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 2 Sep 2004 20:59:40 +0000 (20:59 +0000)
commit3ea9a3336d9bfe8df53d5d4f27613e28bc294732
tree6f60e2188defb710e2c895f32da86061f9917528tree | snapshot
parent828d300fd2039b686b69244c2bd6f8b87645086dcommit | diff
Activate the base page directory if pagedir_activate() is passed a
null pointer.
src/threads/paging.c diff | blob | history
Pintos public repository