Make pagedir_destroy(NULL) a no-op.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Sep 2004 22:25:28 +0000 (22:25 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Sep 2004 22:25:28 +0000 (22:25 +0000)
commitc9d2f441f65d0c3a92938df02a752e6c78de487d
tree6aed2e6e8449560a437f7ba29f9c9b4445e188d3
parente49318880e6420e9b5a4ae9ffb986b49f89798e0
Make pagedir_destroy(NULL) a no-op.
src/userprog/pagedir.c