blob: 71552d124afda91ec1942f6f8881b3baee590543 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#ifndef PAGING_H
#define PAGING_H
#include <types.h>
#define PAGE_SIZE 0x00200000
#define FLAG_PRESENT 0x1
#define FLAG_WRITABLE 0x2
#define FLAG_USER 0x4
#define FLAG_HUGE 0x80
void init_paging(void);
void map_addr(uint64_t virt, uint64_t phys, uint32_t flags);
void page_fault(uint64_t error);
#endif
|
