#ifndef _PAGEFRAMEALLOC_H_
#define _PAGEFRAMEALLOC_H_

#include <types.h>
#include "../memory/pageframe.h"

namespace PageFrameAllocator {
    void init ();
    void stats ();
    PageFrame* alloc(bool kernel);
    void free (PageFrame *frame);
    void free (uintptr_t addr);
}
#endif