]>
Commit | Line | Data |
---|---|---|
9e2a82e4 JP |
1 | #include <io.h> |
2 | #include <smram.h> | |
3 | #include <video_defines.h> | |
4 | #include <minilib.h> | |
5 | #include <smi.h> | |
6 | #include <pci-bother.h> | |
e68cc768 | 7 | #include <serial.h> |
923ea2c2 | 8 | #include <output.h> |
ed22a699 | 9 | #include "traps.h" |
9e2a82e4 JP |
10 | #include "../net/net.h" |
11 | #include "vga-overlay.h" | |
12 | ||
722e5aea | 13 | extern void smi_init(); |
9e2a82e4 | 14 | #include "vm_flags.h" |
9e2a82e4 | 15 | |
923ea2c2 | 16 | extern void smi_entry(); |
9e2a82e4 | 17 | void set_cr0(unsigned int); |
b908495a | 18 | void ps_switch_stack (void (*call)(), int stack); |
9e2a82e4 | 19 | |
9e2a82e4 JP |
20 | #define get_cr0() \ |
21 | ({ \ | |
22 | register unsigned int _temp__; \ | |
23 | asm volatile("mov %%cr0, %0" : "=r" (_temp__)); \ | |
24 | _temp__; \ | |
25 | }) | |
9e2a82e4 JP |
26 | #define set_cr3(value) \ |
27 | { \ | |
28 | register unsigned int _temp__ = (value); \ | |
29 | asm volatile("mov %0, %%cr3" : : "r" (_temp__)); \ | |
30 | } | |
e8f20fe7 JW |
31 | |
32 | #define get_cr4() \ | |
33 | ({ \ | |
34 | register unsigned int _temp__; \ | |
35 | asm volatile("mov %%cr4, %0" : "=r" (_temp__)); \ | |
36 | _temp__; \ | |
37 | }) | |
38 | #define set_cr4(value) \ | |
39 | { \ | |
40 | register unsigned int _temp__ = (value); \ | |
41 | asm volatile("mov %0, %%cr4" : : "r" (_temp__)); \ | |
42 | } | |
43 | ||
9e2a82e4 | 44 | #define CR0_PG 0x80000000 |
e8f20fe7 | 45 | #define CR4_PSE 0x00000010 |
9e2a82e4 JP |
46 | |
47 | #define MAP_FLAGS (PTE_PRESENT | PTE_READ_WRITE) | |
48 | ||
923ea2c2 JW |
49 | static int initialized = 0; |
50 | static int paging_enb = 0; | |
51 | static unsigned long *pd; | |
52 | ||
53 | extern int _bss, _bssend, _end; | |
54 | ||
9343e933 JW |
55 | static unsigned long curmapped = 0xFFFFFFFF; |
56 | ||
923ea2c2 JW |
57 | unsigned long v2p(void *virt) |
58 | { | |
59 | unsigned long _virt = (unsigned long)virt; | |
60 | ||
61 | if (!paging_enb) | |
62 | return _virt; | |
63 | ||
f8903fdd JW |
64 | unsigned long pde = ((unsigned long *)p2v((unsigned long)pd))[PDE_FOR(_virt)]; |
65 | unsigned long pte; | |
66 | ||
67 | if (!(pde & PTE_PRESENT)) | |
68 | return 0xFFFFFFFF; | |
69 | ||
70 | if (pde & PDE_PAGE_SIZE) | |
71 | return ADDR_12_MASK(pde) + (_virt & 0x3FFFFF); | |
9343e933 | 72 | |
f8903fdd JW |
73 | pte = ((unsigned long *)p2v(ADDR_12_MASK(pde)))[PTE_FOR(_virt)]; |
74 | if (!(pte & PTE_PRESENT)) | |
75 | return 0xFFFFFFFF; | |
76 | return (pte & ~0xFFF) + (_virt & 0xFFF); | |
923ea2c2 JW |
77 | } |
78 | ||
79 | void *p2v(unsigned long phys) | |
80 | { | |
81 | if (!paging_enb) | |
82 | return (void*)phys; | |
83 | ||
84 | if (phys >= 0xA0000 && phys < 0xC0000) | |
85 | return (void*)phys; | |
9343e933 | 86 | if (phys >= 0x1FF82000 && phys < 0x20000000) |
923ea2c2 | 87 | return (void*)(phys - 0x1FF82000 + 0x200000); |
9343e933 JW |
88 | if (phys >= 0x1FF80000 && phys < 0x1FF82000) |
89 | return (void*)(phys - 0x1FF80000 + 0x1F0000); | |
90 | ||
91 | if ((phys & ~0xFFF) != curmapped) /* If it's not mapped, map it in. */ | |
92 | { | |
93 | curmapped = phys & ~0xFFF; | |
94 | addmap(0x4000, curmapped); | |
95 | asm volatile("invlpg 0x4000"); | |
96 | } | |
97 | return (void*)(0x4000 + (phys & 0xFFF)); | |
923ea2c2 JW |
98 | } |
99 | ||
9343e933 | 100 | int addmap(unsigned long vaddr, unsigned long paddr) |
923ea2c2 JW |
101 | { |
102 | unsigned long pde = ((unsigned long *)p2v((unsigned long)pd))[PDE_FOR(vaddr)]; | |
103 | unsigned long *pt; | |
104 | ||
105 | if (!(pde & PTE_PRESENT)) | |
106 | return -1; | |
107 | ||
108 | pt = (unsigned long *)p2v(ADDR_12_MASK(pde)); | |
109 | pt[PTE_FOR(vaddr)] = paddr | PTE_PRESENT | PTE_READ_WRITE; | |
110 | ||
111 | return 0; | |
112 | } | |
113 | ||
e8f20fe7 JW |
114 | int addmap_4m(unsigned long vaddr, unsigned long paddr) |
115 | { | |
116 | /* PDE_PAGE_SIZE = (1 << 7) */ | |
117 | ((unsigned long *)p2v((unsigned long)pd))[PDE_FOR(vaddr)] = | |
118 | paddr | PDE_PRESENT | PDE_READ_WRITE | PDE_PAGE_SIZE; | |
119 | ||
120 | return 0; | |
121 | } | |
122 | ||
9343e933 JW |
123 | void *demap(unsigned long client_pd, unsigned long vaddr) |
124 | { | |
125 | unsigned long pde = ((unsigned long *)p2v(client_pd))[PDE_FOR(vaddr)]; | |
126 | unsigned long pte; | |
127 | ||
128 | if (!(pde & PTE_PRESENT)) | |
129 | return (void*)0x0; | |
130 | pte = ((unsigned long *)p2v(ADDR_12_MASK(pde)))[PTE_FOR(vaddr)]; | |
131 | if (!(pte & PTE_PRESENT)) | |
132 | return (void*)0x0; | |
133 | return p2v((pte & ~0xFFF) + (vaddr & 0xFFF)); | |
134 | } | |
135 | ||
136 | static void pt_setup(int tseg_start, int tseg_size) { | |
9e2a82e4 | 137 | int i; |
9e2a82e4 | 138 | |
923ea2c2 JW |
139 | /* The page directory and page table live at TSEG and TSEG + 0x1000, |
140 | * respectively. */ | |
141 | unsigned long *pagedirectory = (unsigned long *) tseg_start; | |
142 | unsigned long *pagetable = (unsigned long *) (tseg_start + 0x1000); | |
9343e933 JW |
143 | |
144 | pd = pagedirectory; | |
9e2a82e4 JP |
145 | |
146 | /* Clear out the page directory except for one entry pointing to the | |
147 | * page table, and clear the page table entirely. */ | |
b908495a | 148 | pagedirectory[0] = (tseg_start + 0x1000) | PTE_PRESENT | PTE_READ_WRITE; |
9e2a82e4 | 149 | for (i = 1; i < 1024; i++) |
9e2a82e4 | 150 | pagedirectory[i] = 0; |
9e2a82e4 | 151 | |
9e2a82e4 | 152 | for (i = 0; i < 1024; i++) |
9e2a82e4 | 153 | pagetable[i] = 0; |
9e2a82e4 | 154 | |
923ea2c2 JW |
155 | /* Map 0x0A0000:0x0BFFFF to itself. */ |
156 | for (i = 0; i < 32; i++) | |
9343e933 | 157 | addmap(0xA0000 + i * 0x1000, 0xA0000 + i * 0x1000); |
9e2a82e4 | 158 | |
9343e933 | 159 | /* Map 0x200000:0x300000 to TSEG data */ |
923ea2c2 | 160 | for (i = 0; i < 256; i++) |
9343e933 | 161 | addmap(0x200000 + i * 0x1000, tseg_start + (i + 2) * 0x1000); |
9e2a82e4 | 162 | |
923ea2c2 | 163 | /* Map 0x300000:0x400000 to 0x200000, so we can copy our code out of |
9e2a82e4 | 164 | * RAM the first time around */ |
923ea2c2 | 165 | for (i = 0; i < 256; i++) |
9343e933 | 166 | addmap(0x300000 + i * 0x1000, 0x200000 + i * 0x1000); |
9e2a82e4 | 167 | |
9343e933 JW |
168 | /* Map 0x1F0000:0x1F2000 to TSEG paging info */ |
169 | for (i = 0; i < 2; i++) | |
170 | addmap(0x1F0000 + i * 0x1000, tseg_start + i * 0x1000); | |
9e2a82e4 JP |
171 | } |
172 | ||
b34003c2 JW |
173 | void init_and_run(void) |
174 | { | |
175 | if (!initialized) | |
176 | { | |
177 | smi_init(); | |
178 | initialized = 1; | |
179 | } | |
180 | ||
181 | smi_entry(); | |
182 | } | |
183 | ||
9e2a82e4 JP |
184 | void c_entry(void) |
185 | { | |
923ea2c2 | 186 | paging_enb = 0; |
9e2a82e4 | 187 | |
923ea2c2 JW |
188 | outb(0x80, 0x01); |
189 | if (!initialized) | |
9343e933 | 190 | pt_setup(0x1FF80000, 0x80000); |
923ea2c2 | 191 | outb(0x80, 0x02); |
113df320 JW |
192 | |
193 | /* Enable paging. */ | |
923ea2c2 | 194 | set_cr3((unsigned long)pd); |
e8f20fe7 | 195 | set_cr4(get_cr4() | CR4_PSE); /* ITT, we 4MByte page. */ |
9e2a82e4 | 196 | set_cr0(get_cr0() | CR0_PG); |
923ea2c2 JW |
197 | outb(0x80, 0x03); |
198 | paging_enb = 1; | |
ed22a699 | 199 | |
923ea2c2 JW |
200 | /* If this is the first goround, copy in data. */ |
201 | if (!initialized) | |
202 | { | |
203 | unsigned char *p; | |
204 | ||
205 | outb(0x80, 0x04); | |
206 | for (p = (void *)0x200000; (void *)p < (void *)&_bss; p++) | |
207 | *p = *(p + 0x100000); | |
208 | for (p = (void *)&_bss; (void *)p < (void *)&_bssend; p++) | |
209 | *p = 0; | |
210 | outb(0x80, 0x05); | |
113df320 | 211 | |
923ea2c2 | 212 | /* Only now is it safe to call other functions. */ |
113df320 | 213 | serial_init(); |
923ea2c2 | 214 | dolog("Evacuation to TSEG complete."); |
ed22a699 | 215 | } |
923ea2c2 JW |
216 | |
217 | outb(0x80, 0x06); | |
ed22a699 JP |
218 | |
219 | traps_install(); | |
923ea2c2 JW |
220 | |
221 | outb(0x80, 0x07); | |
ed22a699 | 222 | |
b34003c2 | 223 | ps_switch_stack(init_and_run, 0x270000); |
b908495a | 224 | outb(0x80, 0xFA); |
9e2a82e4 | 225 | } |