stasis-aries-wal/stasis/page/header.h

19 lines
617 B
C
Raw Normal View History

/**
@file
@todo Is header.[ch] used for anything any more? No one seems to call
into them. Delete them?
*/
//void headerPageInitialize(Page * p);
int headerPageInitialize();
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)