paging.h

Go to the documentation of this file.

#pragma once
#include <stdint.h>
 
#define PAGING_CACHE_DISABLED  0b00010000
#define PAGING_WRITE_THROUGH   0b00001000
#define PAGING_ACCESS_FROM_ALL 0b00000100
#define PAGING_IS_WRITEABLE    0b00000010
#define PAGING_IS_PRESENT      0b00000001
 
#define PAGING_TOTAL_ENTRIES_PER_TABLE 1024
#define PAGING_PAGE_SIZE 4096
 
struct paging_chunk
{
    uint32_t* directory_entry;
};
 
struct paging_chunk* paging_new_directory(uint8_t flags);
void paging_free_directory(struct paging_chunk* chunk);
 
void paging_switch(struct paging_chunk* chunk);
void paging_enable();
uint32_t* paging_get_directory(struct paging_chunk* chunk);
int paging_map_to(struct paging_chunk* chunk, void* virtual_address, void* physical_address, void* physical_end, int flags);
void* paging_align_address(void* ptr);
void* paging_align_address_to_lower_page(void* ptr);
 
int paging_set_page(uint32_t* directory, void* virtual_address, uint32_t value);
uint32_t paging_get_page(uint32_t* directory, void* virtual_address);