docs/kernel_doc/pgng_8h_source.html

00001 #ifndef PGNG_H
00002 #define PGNG_H
00003
00004 #include <stdint.h>
00005
00006 #define ACCS_BIT 0x1
00007 #define WRITE_BIT 0x2
00008 #define ALL_ACCS_BIT 0x4
00009 #define WRITE_CACHE 0x8
00010 #define NO_CACHE 0x10
00011
00012 struct paging_directory {
00013         uint32_t* page_directory;
00014 };
00015
00016 void init_paging();
00017 void act_dir(struct paging_directory*);
00018 struct paging_directory* paging_map();
00019 void identity_mapping(struct paging_directory* , uint32_t, uint32_t, uint8_t);
00020 void kernel_mapping(struct paging_directory*);
00021
00022 void* vmm_alloc();
00023 void vmm_free(void*);
00024
00025 #endif