200
|
1 #include "../../context.h"
|
206
|
2 #include "mmu.h"
|
|
3 #include "memlayout.h"
|
200
|
4 #interface "vm_impl.h"
|
|
5
|
206
|
6 /*
|
|
7 vm_impl* createvm_impl2();
|
|
8 */
|
|
9
|
|
10 __code loaduvm_ptesize_checkvm_impl(struct vm_impl* vm_impl, __code next(...)) {
|
|
11
|
|
12 if ((uint) vm_impl->addr %PTE_SZ != 0) {
|
|
13 // goto panic
|
|
14 }
|
|
15
|
|
16 goto loaduvm_loopvm_impl(vm_impl, next(...));
|
200
|
17 }
|
|
18
|
206
|
19 __code loaduvm_loopvm_impl(struct vm_impl* vm_impl, __code next(...)) {
|
|
20
|
|
21 if (vm_impl->i < vm_impl->sz) {
|
|
22 goto loaduvm_check_pgdir(vm_impl, next(...));
|
|
23 }
|
|
24 goto loaduvm_exit(vm_impl, next(...));
|
200
|
25 }
|
206
|
26 static pte_t* walkpgdir (pde_t *pgdir, const void *va, int alloc)
|
|
27 {
|
|
28 pde_t *pde;
|
|
29 pte_t *pgtab;
|
|
30
|
|
31 // pgdir points to the page directory, get the page direcotry entry (pde)
|
|
32 pde = &pgdir[PDE_IDX(va)];
|
|
33
|
|
34 if (*pde & PE_TYPES) {
|
|
35 pgtab = (pte_t*) p2v(PT_ADDR(*pde));
|
|
36
|
|
37 } else {
|
|
38 if (!alloc || (pgtab = (pte_t*) kpt_alloc()) == 0) {
|
|
39 return 0;
|
|
40 }
|
|
41
|
|
42 // Make sure all those PTE_P bits are zero.
|
|
43 memset(pgtab, 0, PT_SZ);
|
|
44
|
|
45 // The permissions here are overly generous, but they can
|
|
46 // be further restricted by the permissions in the page table
|
|
47 // entries, if necessary.
|
|
48 *pde = v2p(pgtab) | UPDE_TYPE;
|
|
49 }
|
|
50
|
|
51 return &pgtab[PTE_IDX(va)];
|
|
52 }
|
|
53
|
|
54
|
|
55 __code loaduvm_check_pgdir(struct vm_impl* vm_impl, __code next(...)) {
|
|
56 if ((vm_impl->pte = walkpgdir(vm_impl->pgdir, vm_impl->addr + vm_impl->i, 0)) == 0) {
|
|
57 // goto panic
|
|
58 }
|
|
59 vm_impl->pa = PTE_ADDR(*vm_impl->pte);
|
|
60
|
|
61 goto loaduvm_check_PTE_SZ(vm_impl, next(...));
|
|
62 }
|
|
63
|
|
64 __code loaduvm_check_PTE_SZ(struct vm_impl* vm_impl, __code next(...)) {
|
|
65 goto loaduvm_exit(vm_impl, next(...));
|
|
66 }
|
|
67
|
|
68 __code loaduvm_exit(struct vm_impl* vm_impl, __code next(...)) {
|
|
69
|
|
70 goto next(...);
|
|
71 }
|