virtual_memory_manager.h File Reference

#include <stdint.h>
#include <stdbool.h>
#include "cpu/paging/paging.h"
#include "memory/physical/physical_memory_manager.h"

Go to the source code of this file.

Functions
uint32_t	virtual_memory_alloc_page (bool supervisor)
bool	virtual_memory_dealloc_page (uint32_t index)
bool	virtual_memory_dealloc_last_page (bool supervisor)
uint32_t	virtual_memory_get_kernel_base_page_index ()
uint32_t	virtual_memory_get_user_base_page_index ()
void	virtual_memory_set_kernel_base_page_index (uint32_t index)
void	virtual_memory_set_user_base_page_index (uint32_t index)
uint32_t	virtual_memory_get_allocated_pages_count (bool supervisor)

Function Documentation

virtual_memory_alloc_page()

uint32_t virtual_memory_alloc_page

(

bool

supervisor

)

virtual_memory_dealloc_last_page()

bool virtual_memory_dealloc_last_page

(

bool

supervisor

)

virtual_memory_dealloc_page()

bool virtual_memory_dealloc_page

(

uint32_t

index

)

virtual_memory_get_allocated_pages_count()

uint32_t virtual_memory_get_allocated_pages_count

(

bool

supervisor

)

virtual_memory_get_kernel_base_page_index()

uint32_t virtual_memory_get_kernel_base_page_index

(

)

virtual_memory_get_user_base_page_index()

uint32_t virtual_memory_get_user_base_page_index

(

)

virtual_memory_set_kernel_base_page_index()

void virtual_memory_set_kernel_base_page_index

(

uint32_t

index

)

virtual_memory_set_user_base_page_index()

void virtual_memory_set_user_base_page_index

(

uint32_t

index

)