3 #include <video_defines.h>
6 #include <pci-bother.h>
10 #include "../net/net.h"
11 #include "vga-overlay.h"
13 extern void smi_init();
16 extern void smi_entry();
17 void set_cr0(unsigned int);
18 void ps_switch_stack (void (*call)(), int stack);
22 register unsigned int _temp__; \
23 asm volatile("mov %%cr0, %0" : "=r" (_temp__)); \
28 #define set_cr3(value) \
30 register unsigned int _temp__ = (value); \
31 asm volatile("mov %0, %%cr3" : : "r" (_temp__)); \
33 #define CR0_PG 0x80000000
35 #define MAP_FLAGS (PTE_PRESENT | PTE_READ_WRITE)
37 static int initialized = 0;
38 static int paging_enb = 0;
39 static unsigned long *pd;
41 extern int _bss, _bssend, _end;
43 static unsigned long curmapped = 0xFFFFFFFF;
45 unsigned long v2p(void *virt)
47 unsigned long _virt = (unsigned long)virt;
52 if (_virt >= 0xA0000 && _virt < 0xC0000)
54 if (_virt >= 0x200000 && _virt < 0x300000)
55 return _virt - 0x200000 + /* XXX */ 0x1FF82000;
56 if (_virt >= 0x1F0000 && _virt < 0x1F2000)
57 return _virt - 0x1F0000 + 0x1FF80000;
58 if ((_virt & ~0xFFF) == 0x4000)
59 return _virt - 0x4000 + curmapped;
61 outputf("WARNING: v2p(%08x)", _virt);
65 void *p2v(unsigned long phys)
70 if (phys >= 0xA0000 && phys < 0xC0000)
72 if (phys >= 0x1FF82000 && phys < 0x20000000)
73 return (void*)(phys - 0x1FF82000 + 0x200000);
74 if (phys >= 0x1FF80000 && phys < 0x1FF82000)
75 return (void*)(phys - 0x1FF80000 + 0x1F0000);
77 if ((phys & ~0xFFF) != curmapped) /* If it's not mapped, map it in. */
79 curmapped = phys & ~0xFFF;
80 addmap(0x4000, curmapped);
81 asm volatile("invlpg 0x4000");
83 return (void*)(0x4000 + (phys & 0xFFF));
86 int addmap(unsigned long vaddr, unsigned long paddr)
88 unsigned long pde = ((unsigned long *)p2v((unsigned long)pd))[PDE_FOR(vaddr)];
91 if (!(pde & PTE_PRESENT))
94 pt = (unsigned long *)p2v(ADDR_12_MASK(pde));
95 pt[PTE_FOR(vaddr)] = paddr | PTE_PRESENT | PTE_READ_WRITE;
100 void *demap(unsigned long client_pd, unsigned long vaddr)
102 unsigned long pde = ((unsigned long *)p2v(client_pd))[PDE_FOR(vaddr)];
105 if (!(pde & PTE_PRESENT))
107 pte = ((unsigned long *)p2v(ADDR_12_MASK(pde)))[PTE_FOR(vaddr)];
108 if (!(pte & PTE_PRESENT))
110 return p2v((pte & ~0xFFF) + (vaddr & 0xFFF));
113 static void pt_setup(int tseg_start, int tseg_size) {
116 /* The page directory and page table live at TSEG and TSEG + 0x1000,
118 unsigned long *pagedirectory = (unsigned long *) tseg_start;
119 unsigned long *pagetable = (unsigned long *) (tseg_start + 0x1000);
123 /* Clear out the page directory except for one entry pointing to the
124 * page table, and clear the page table entirely. */
125 pagedirectory[0] = (tseg_start + 0x1000) | PTE_PRESENT | PTE_READ_WRITE;
126 for (i = 1; i < 1024; i++)
127 pagedirectory[i] = 0;
129 for (i = 0; i < 1024; i++)
132 /* Map 0x0A0000:0x0BFFFF to itself. */
133 for (i = 0; i < 32; i++)
134 addmap(0xA0000 + i * 0x1000, 0xA0000 + i * 0x1000);
136 /* Map 0x200000:0x300000 to TSEG data */
137 for (i = 0; i < 256; i++)
138 addmap(0x200000 + i * 0x1000, tseg_start + (i + 2) * 0x1000);
140 /* Map 0x300000:0x400000 to 0x200000, so we can copy our code out of
141 * RAM the first time around */
142 for (i = 0; i < 256; i++)
143 addmap(0x300000 + i * 0x1000, 0x200000 + i * 0x1000);
145 /* Map 0x1F0000:0x1F2000 to TSEG paging info */
146 for (i = 0; i < 2; i++)
147 addmap(0x1F0000 + i * 0x1000, tseg_start + i * 0x1000);
156 pt_setup(0x1FF80000, 0x80000);
160 set_cr3((unsigned long)pd);
161 set_cr0(get_cr0() | CR0_PG);
165 /* If this is the first goround, copy in data. */
171 for (p = (void *)0x200000; (void *)p < (void *)&_bss; p++)
172 *p = *(p + 0x100000);
173 for (p = (void *)&_bss; (void *)p < (void *)&_bssend; p++)
177 /* Only now is it safe to call other functions. */
179 dolog("Evacuation to TSEG complete.");
190 smi_init(); /* Run the firstrun. */
197 ps_switch_stack(smi_entry, 0x270000);