2007-06-01 21:32:33 +00:00
|
|
|
/**
|
|
|
|
|
@file
|
|
|
|
|
|
|
|
|
|
@todo Is header.[ch] used for anything any more? No one seems to call
|
|
|
|
|
into them. Delete them?
|
|
|
|
|
*/
|
2004-08-21 00:03:30 +00:00
|
|
|
|
2006-07-20 01:29:39 +00:00
|
|
|
//void headerPageInitialize(Page * p);
|
|
|
|
|
int headerPageInitialize();
|
2004-08-21 00:03:30 +00:00
|
|
|
void freePageInitialize(Page * freepage, Page *headerpage);
|
|
|
|
|
#define headerFreepage_ptr(page) ints_from_end((page), 1)
|
|
|
|
|
#define headerFreepagelist_ptr(page) ints_from_end((page), 2)
|
|
|
|
|
|
|
|
|
|
/** @todo allow for effecient freeing of blocks of multiple pages, and
|
|
|
|
|
implement worst-fit page reclamation (as a special case, use
|
|
|
|
|
best-fit for single page allocations.) */
|
|
|
|
|
|
|
|
|
|
#define nextfreepage_ptr(page) ints_from_end((page), 1)
|
