#include <stdint.h>

#define PGENT 1024

typedef uint32_t pte_t;
typedef uint32_t __attribute__((aligned (4096))) ptab_t[PGENT];
typedef uint32_t pde_t;
typedef uint32_t __attribute__((aligned (4096))) pdir_t[PGENT];

extern ptab_t ktab;

void *alloc_physical_page(void);
int free_physical_page(void*);
void *alloc_physical_pages(unsigned int);

void *map_page(void*);

void paging_init(void);