virtual_memory_manager.c File Reference

#include "virtual_memory_manager.h"
#include "../../process/manager/process_manager.h"

Functions
uint32_t	virtual_memory_alloc_page (bool supervisor)
bool	virtual_memory_dealloc_page (uint32_t page_index)
bool	virtual_memory_dealloc_last_page (bool supervisor)
uint32_t	virtual_memory_get_allocated_pages_count (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)

Variables
uint32_t	kernel_base_page_index
uint32_t	user_base_page_index

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

page_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

)

Variable Documentation

kernel_base_page_index

uint32_t kernel_base_page_index

user_base_page_index

uint32_t user_base_page_index