2022-11-13 13:29:15 +00:00
|
|
|
#pragma once
|
|
|
|
#include <Result.h>
|
|
|
|
#include <Types.h>
|
|
|
|
|
|
|
|
namespace MemoryManager
|
|
|
|
{
|
|
|
|
void init();
|
|
|
|
|
2022-11-16 19:02:04 +00:00
|
|
|
Result<void> protect_kernel_sections();
|
|
|
|
|
2022-11-13 13:29:15 +00:00
|
|
|
Result<u64> alloc_physical_page();
|
|
|
|
Result<void> free_physical_page(u64 page);
|
|
|
|
|
|
|
|
void lock_page(u64 page);
|
|
|
|
void lock_pages(u64 pages, u64 count);
|
2022-11-13 15:56:03 +00:00
|
|
|
|
2022-11-16 19:30:34 +00:00
|
|
|
Result<void> remap(u64 address, usize count, int flags);
|
|
|
|
Result<void> remap_unaligned(u64 address, usize count, int flags);
|
2022-11-16 19:02:04 +00:00
|
|
|
|
2022-11-19 17:38:47 +00:00
|
|
|
bool validate_readable_page(u64 address);
|
|
|
|
bool validate_writable_page(u64 address);
|
|
|
|
|
2022-11-13 15:56:03 +00:00
|
|
|
u64 free();
|
|
|
|
u64 used();
|
|
|
|
u64 reserved();
|
2022-11-13 13:29:15 +00:00
|
|
|
}
|