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)
commit7a1f43925b0780ac983c529f7ecba8d7437a9890
tree9084c807b37fffb6e50c7d38df0c7c86fc1f2e03
parentb23bb24aef6326535f3b836f175a14914251ddd2
Make pagedir_destroy(NULL) a no-op.
src/userprog/pagedir.c