#include <stdint.h>

void free_pages(uint16_t page_dir_idx);
uintptr_t add_pages(char access_flags);
void move_pages(uint16_t src_page_dir_idx, uint16_t dest_page_dir_idx);
void init_paging();