#ifndef PAGING_H
#define PAGING_H

#include <stdint.h>

#define NUM_KERN_DIRS 4

void paging_init();

#endif