2020-09-21 13:15:55 +03:00
|
|
|
#ifndef __MM__VMM_H__
|
|
|
|
|
#define __MM__VMM_H__
|
2020-09-11 11:53:21 +03:00
|
|
|
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
|
|
#define PAGE_SIZE ((uint64_t)0x200000)
|
|
|
|
|
|
2020-09-11 15:09:15 +03:00
|
|
|
typedef struct {
|
|
|
|
|
int levels;
|
|
|
|
|
void *top_level;
|
|
|
|
|
} pagemap_t;
|
2020-09-11 11:53:21 +03:00
|
|
|
|
2020-09-11 15:09:15 +03:00
|
|
|
pagemap_t new_pagemap(int lv);
|
2020-09-11 11:53:21 +03:00
|
|
|
void map_page(pagemap_t pagemap, uint64_t virt_addr, uint64_t phys_addr, uint64_t flags);
|
|
|
|
|
|
|
|
|
|
#endif
|
