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


extern uint32_t global_page_dir;
extern uint32_t kernel_pagetable;



#endif