blob: a3d26765d7ab50d5bf115ff86c42ae7114c5a4ce (
plain)
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
45
46
|
#ifndef VM_H
#define VM_H
#include "processor.h"
#define PAGE_SIZE 4096ul
#ifdef __x86_64__
#define LARGE_PAGE_SIZE (512 * PAGE_SIZE)
#else
#define LARGE_PAGE_SIZE (1024 * PAGE_SIZE)
#endif
#define PTE_PRESENT (1ull << 0)
#define PTE_PSE (1ull << 7)
#define PTE_WRITE (1ull << 1)
#define PTE_ADDR (0xffffffffff000ull)
void setup_vm();
void *vmalloc(unsigned long size);
void vfree(void *mem);
void *vmap(unsigned long long phys, unsigned long size);
void install_pte(unsigned long *cr3,
int pte_level,
void *virt,
unsigned long pte,
unsigned long *pt_page);
void *alloc_page();
void install_large_page(unsigned long *cr3,unsigned long phys,
void *virt);
void install_page(unsigned long *cr3, unsigned long phys, void *virt);
static inline unsigned long virt_to_phys(const void *virt)
{
return (unsigned long)virt;
}
static inline void *phys_to_virt(unsigned long phys)
{
return (void *)phys;
}
#endif
|