void MMU_read(struct PageTableEntry *pt, size_t page_no);
void MMU_write(struct PageTableEntry *pt, size_t page_no);