#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