12 lines
264 B
C
12 lines
264 B
C
#ifndef __GILBRALTAR_PAGER__
|
|
#define __GILBRALTAR_PAGER__
|
|
|
|
#include <stddef.h>
|
|
#include <stdint.h>
|
|
|
|
void gilbraltar_pager_init(uintptr_t, size_t);
|
|
size_t gilbraltar_pager_free_space(void);
|
|
void *gilbraltar_palloc(void);
|
|
void gilbraltar_pager_free(void *);
|
|
|
|
#endif
|