pagequeue.e

#ifndef _PAGEQUEUE_E
#define _PAGEQUEUE_E

#include "../h/memory.h"
#include "../h/queue.e"

extern void initPage(/* int first_page, int last_page */);
extern frame_t * allocPage();
extern void freePage(/* frame_t *p */);

#define insertPage(p)   insertQueue(&pfqueue, p)
#define removePage()    ( (frame_t *)removeQueue(&pfqueue) )
#define nextPage()      (pfqueue = pfqueue->f_next)
#define headPage()      ( (frame_t *)headQueue(pfqueue) )

#endif