blob: 1e88a0b05c5046e0489b5ccfbc97e8746e2b80cd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
#ifndef JOVE_ARCH_x86_64_PAGING_H
#define JOVE_ARCH_x86_64_PAGING_H 1
#include <stdint.h>
#include "mem/memory.h"
union PageEntry
{
struct {
uint8_t p : 1; /* Present */
uint8_t rw : 1; /* Read/write. 0 for RO.*/
uint8_t us : 1; /* User/supervisor. 0 for DPL3 forbid */
uint8_t pwt : 1;
uint8_t pcd : 1;
uint8_t a : 1; /* Accessed */
uint8_t d : 1; /* Dirty */
uint8_t ps_pat : 1;
uint8_t g : 1; /* Global */
uint8_t _r0 : 2;
uint8_t r : 1;
uint64_t paddr : 35;
uint8_t _r1;
uint8_t pk : 4;
uint8_t xd : 1;
}__attribute__((packed));
uint64_t value;
}__attribute__((packed));
struct PageDirectory
{
union PageEntry *pml4_vaddr;
physptr_t pml4_paddr;
size_t references;
};
extern struct PageDirectory *mem_current_pd;
void mem_pd_new(struct PageDirectory *pd);
void mem_pd_clone(struct PageDirectory *pd, struct PageDirectory *parent);
void mem_pd_ensure_4k(struct PageDirectory *pd, uintptr_t virt, uint8_t flg);
void mem_pd_ensure_range(struct PageDirectory *pd, uintptr_t from, uintptr_t to, uint8_t flg);
#endif
|