#ifndef PAGING_H
#define PAGING_H
#include <stdint.h>

void paging_init();
void heap_init();
void* heap_alloc(uint32_t size);
void heap_free(void *ptr);
void test_paging();
void init_allocator();
#endif