Cleaned up page_free()
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 23 Sep 2010 22:19:22 +0000 (15:19 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:54 +0000 (17:35 -0700)
commit7ed4888fae9aedc11c202c5ae8283fea2f40e70b
tree15a482638222f2d806474a0e61d7d4aced6f05e8
parent02f6c45a23348a369d11ccef88b3d5fdcc0e79e5
Cleaned up page_free()

Removed it, actually, putting its functionality in page_release(), and
removing the few places that called it directly.  The way to free a page
is to decref it, not to call page_free() (or release).  This might
change when we get a decent buddy allocator.

We'll keep __page_decref() around for a while; it exists to optimize
bulk page freeing (adding to the page free list).
kern/arch/i686/pmap.c
kern/include/page_alloc.h
kern/src/page_alloc.c