#include "memory.h" struct page pages_table[PAGES_MAX_COUNT]; int mmu_write_table(void) { int i; for (i = 0; i < PAGES_MAX_COUNT; i++) { if (pages_table[i].used) { // write to mmu table } } return 0; } int page_map(int page, int pid, uint16_t addr) { if (page >= PAGES_MAX_COUNT) return -1; if (pages_table[page].used) return -2; pages_table[page].addr = addr; pages_table[page].pid = pid; pages_table[page].used = 1; return 0; } int page_unmap(int page) { if (page >= PAGES_MAX_COUNT) return -1; if (pages_table[page].used == 0) return -2; pages_table[page].used = 0; return 0; }