BarinkOS/source/kernel/Memory/VirtualMemoryManager.h

13 lines
247 B
C
Raw Normal View History

#pragma once
#include "PhysicalMemoryManager.h"
#include "../Terminal/kterm.h"
#include "../cpu.h"
void AllocatePage(uint32_t v_addr );
void FreePage(uint32_t v_addr);
void Map(uint32_t p_addr, uint32_t v_addr);
void Unmap (uint32_t v_addr);