2022-08-21 19:18:53 +00:00
|
|
|
#pragma once
|
2022-09-01 18:16:16 +00:00
|
|
|
#include "../terminal/kterm.h"
|
2023-02-17 21:01:32 +00:00
|
|
|
#include "../i386/processor.h"
|
2022-09-03 15:27:29 +00:00
|
|
|
#include "PhysicalMemoryManager.h"
|
|
|
|
|
|
|
|
|
|
|
|
void SetupVMM();
|
2022-08-21 19:18:53 +00:00
|
|
|
|
|
|
|
void AllocatePage(uint32_t v_addr );
|
|
|
|
void FreePage(uint32_t v_addr);
|
|
|
|
|
2023-02-08 13:07:44 +00:00
|
|
|
void Immediate_Map(uint32_t vaddr, uint32_t paddr);
|
2022-09-03 15:27:29 +00:00
|
|
|
void Immediate_Unmap (uint32_t v_addr);
|
|
|
|
|
|
|
|
// void Demand_map(uint32_t p_addr, uint32_t v_addr);
|
|
|
|
// void Demand_Unmap (uint32_t v_addr);
|