vmm.h

Go to the documentation of this file.

#ifndef MEM_VMM_H
#define MEM_VMM_H

#include <stdint.h>
#include <mem/pmm.h>

#define VMM_PAGEDIR ((page_directory_t*) 0xFFFFF000)
#define VMM_PAGETAB(i) ((page_table_t*) (0xFFC00000 + (i) * PAGE_SIZE))

typedef enum {
    VMM_KERNEL = 0b0, VMM_USER = 0b1, VMM_WRITABLE = 0b100
} vmm_flags_t;

typedef struct {
    uint8_t  pr    :  1; 
    uint8_t  rw    :  1; 
    uint8_t  user  :  1; 
    uint8_t  wt    :  1; 
    uint8_t  cache :  1; 
    uint8_t  ac    :  1; 
    uint8_t        :  1; 
    uint8_t  sz    :  1; 
    uint8_t        :  4; 
    uint32_t pt    : 20; 
} __attribute__((packed)) page_directory_entry_t;

typedef struct {
    uint8_t  pr    :  1; 
    uint8_t  rw    :  1; 
    uint8_t  user  :  1; 
    uint8_t  wt    :  1; 
    uint8_t  cache :  1; 
    uint8_t  ac    :  1; 
    uint8_t  dirty :  1; 
    uint8_t        :  1; 
    uint8_t  gl    :  1; 
    uint8_t        :  3; 
    uint32_t page  : 20; 
} __attribute__((packed)) page_table_entry_t;

typedef page_directory_entry_t page_directory_t;
typedef page_table_entry_t page_table_t;

page_directory_t* vmm_create_page_directory();
void vmm_destroy_page_directory(page_directory_t* dir_phys);
page_directory_t* vmm_load_page_directory(page_directory_t* new_directory);
void vmm_modify_page_directory(page_directory_t* new_directory);
void vmm_modified_page_directory();
uint8_t vmm_map(void* _vaddr, void* paddr, vmm_flags_t flags);
void vmm_unmap(void* _vaddr);
void vmm_map_range(void* vaddr, void* paddr, size_t len, vmm_flags_t flags);
void vmm_unmap_range(void* vaddr, size_t len);
void* vmm_get_physical_address(void* _vaddr);
void vmm_dump();
void* vmm_map_physical_memory(void* paddr, size_t len, vmm_flags_t flags);
void vmm_unmap_physical_memory(void* vaddr, size_t len);
void vmm_use(void* vaddr, void* paddr, size_t len, vmm_flags_t flags);
void* vmm_use_physical_memory(void* paddr, size_t len, vmm_flags_t flags);
void* vmm_use_virtual_memory(void* vaddr, size_t len, vmm_flags_t flags);
void* vmm_alloc(size_t len, vmm_flags_t flags);
void vmm_free(void* ptr, size_t len);
void vmm_enable_domain_check(uint8_t enable);
void vmm_init();

#endif