annotate src/impl/vm_impl_private.cbc @ 206:247aa9ee931c

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