armOS/mm_8h_source.html

#ifndef MM_H

#define MM_H


#include <stdint.h>


#include <peripherals/base.h>


#define PAGE_SHIFT      12

#define TABLE_SHIFT     9

#define SECTION_SHIFT   (PAGE_SHIFT + TABLE_SHIFT)

#define PAGE_SIZE       (1 << PAGE_SHIFT)

#define SECTION_SIZE    (1 << SECTION_SHIFT)

#define LOW_MEMORY      (2 * SECTION_SIZE)

#define HIGH_MEMORY     MMIO_BASE


#define PAGING_MEMORY   (HIGH_MEMORY - LOW_MEMORY)

#define PAGING_PAGES    (PAGING_MEMORY / PAGE_SIZE)

#ifdef AARCH_32


uint32_t get_free_page();

void free_page(uint32_t p);

#elif AARCH_64


uint64_t get_free_page();

void free_page(uint64_t p);

#endif


#endif