Nigel
656ca0baa8
* BUG: allocated blocks is possibly incorrect! * prekernel no longer gets compiled as being in physical memory
18 lines
416 B
C
18 lines
416 B
C
#pragma once
|
|
#include <stddef.h>
|
|
#include "../prekernel/bootstructure.h"
|
|
#include "../terminal/kterm.h"
|
|
#include "../lib/mem.h"
|
|
#include "../bitmap.h"
|
|
|
|
|
|
|
|
void SetupPhysicalMemoryManager(uint32_t mapAddress, uint32_t memorySize);
|
|
|
|
void* allocate_block();
|
|
void free_block(void* ptr);
|
|
|
|
void allocate_region(uint32_t address, uint32_t size);
|
|
void deallocate_region(uint32_t address, uint32_t size);
|
|
|
|
int GetUsedBlocks(); |