fixed a bug in kpage_alloc
authorAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Mon, 1 Feb 2010 01:49:55 +0000 (17:49 -0800)
committerAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Mon, 1 Feb 2010 01:49:55 +0000 (17:49 -0800)
commit384c409114f27b565f01188b6ccc6a1e1375e5a5
tree3311f742d1ba7f24e99705a246e736efa1b8d0c1
parentd33d0531daa40195697ce64fc3e9620d218044c5
fixed a bug in kpage_alloc
kern/src/page_alloc.c