54 lines
1.1 KiB
C
54 lines
1.1 KiB
C
#pragma once
|
|
#include "stdint.h"
|
|
#include "types.h"
|
|
|
|
/**
|
|
* Physical Page management
|
|
*/
|
|
|
|
#define PAGE_SHIFT 12U
|
|
#define PAGE_SIZE (1U << PAGE_SHIFT)
|
|
#define PAGE_MASK (PAGE_SIZE - 1)
|
|
|
|
|
|
// Defined in linker.ld script
|
|
extern char __ld_kernel_begin;
|
|
extern char __ld_kernel_end;
|
|
|
|
struct phyMemDesc {
|
|
paddr_t phy_addr;
|
|
unsigned long ref;
|
|
struct phyMemDesc *next, *prev;
|
|
};
|
|
|
|
/**
|
|
* Initi Physical Page management subsystem
|
|
**/
|
|
int memSetup(paddr_t upperMem, paddr_t * firstUsed, paddr_t *lastUsed);
|
|
|
|
/**
|
|
* Declare a physical region to be managed by the physica page subsystem
|
|
**/
|
|
int memAddBank(paddr_t bottomMem, paddr_t topMem, int isFree);
|
|
|
|
/**
|
|
* Request @params nbPage free physical pages
|
|
**/
|
|
paddr_t allocPhyPage(uint nbPage);
|
|
|
|
/**
|
|
* Decrement the nb of user of a given physical page
|
|
**/
|
|
int unrefPhyPage(paddr_t addr);
|
|
|
|
/**
|
|
* Increment the nb of user of a given physical page
|
|
**/
|
|
int refPhyPage(paddr_t addr);
|
|
|
|
/**
|
|
* Return the number of physical allocated pages
|
|
**/
|
|
unsigned long getNbAllocatedPage(void);
|
|
void memGetStat(uint *free, uint *used);
|