4 * Virtual Memory Manager
15 #define PADDR_MASK 0x7FFFFFFF##FFFFF000
16 #define PAGE_MASK (((Uint)1 << 36)-1)
17 #define TABLE_MASK (((Uint)1 << 27)-1)
18 #define PDP_MASK (((Uint)1 << 18)-1)
19 #define PML4_MASK (((Uint)1 << 9)-1)
21 #define PF_PRESENT 0x1
25 #define PF_PAGED 0x400
26 #define PF_NX 0x80000000##00000000
29 #define PAGETABLE(idx) (*((tPAddr*)MM_FRACTAL_BASE+((idx)&PAGE_MASK)))
30 #define PAGEDIR(idx) PAGETABLE((MM_FRACTAL_BASE>>12)+((idx)&TABLE_MASK))
31 #define PAGEDIRPTR(idx) PAGEDIR((MM_FRACTAL_BASE>>21)+((idx)&PDP_MASK))
32 #define PAGEMAPLVL4(idx) PAGEDIRPTR((MM_FRACTAL_BASE>>30)+((idx)&PML4_MASK))
37 void MM_InitVirt(void)
42 void MM_FinishVirtualInit(void)
48 * \brief Map a physical page to a virtual one
50 int MM_Map(tVAddr VAddr, tPAddr PAddr)
54 Log("MM_Map: (VAddr=0x%x, PAddr=0x%x)", VAddr, PAddr);
57 Log(" MM_Map: &PAGEMAPLVL4(%x) = %x", VAddr >> 39, &PAGEMAPLVL4(VAddr >> 39));
58 Log(" MM_Map: &PAGEDIRPTR(%x) = %x", VAddr >> 30, &PAGEDIRPTR(VAddr >> 30));
59 Log(" MM_Map: &PAGEDIR(%x) = %x", VAddr >> 21, &PAGEDIR(VAddr >> 21));
60 Log(" MM_Map: &PAGETABLE(%x) = %x", VAddr >> 12, &PAGETABLE(VAddr >> 12));
61 Log(" MM_Map: &PAGETABLE(0) = %x", &PAGETABLE(0));
62 if( !(PAGEMAPLVL4(VAddr >> 39) & 1) )
66 PAGEMAPLVL4(VAddr >> 39) = tmp | 3;
67 memset( &PAGEDIRPTR( (VAddr>>39)<<9 ), 0, 4096 );
71 if( !(PAGEDIRPTR(VAddr >> 30) & 1) )
75 PAGEDIRPTR(VAddr >> 30) = tmp | 3;
76 memset( &PAGEDIR( (VAddr>>30)<<9 ), 0, 4096 );
80 if( !(PAGEDIR(VAddr >> 21) & 1) )
84 PAGEDIR(VAddr >> 21) = tmp | 3;
85 memset( &PAGETABLE( (VAddr>>21)<<9 ), 0, 4096 );
88 // Check if this virtual address is already mapped
89 if( PAGETABLE(VAddr >> PTAB_SHIFT) & 1 )
92 PAGETABLE(VAddr >> PTAB_SHIFT) = PAddr | 3;
94 Log("MM_Map: RETURN 1");
100 * \brief Removed a mapped page
102 void MM_Unmap(tVAddr VAddr)
105 if( !(PAGEMAPLVL4(VAddr >> 39) & 1) ) return ;
107 if( !(PAGEDIRPTR(VAddr >> 30) & 1) ) return ;
109 if( !(PAGEDIR(VAddr >> 21) & 1) ) return ;
111 PAGETABLE(VAddr >> PTAB_SHIFT) = 0;
115 * \brief Allocate a block of memory at the specified virtual address
117 tPAddr MM_Allocate(tVAddr VAddr)
121 Log("MM_Allocate: (VAddr=%x)", VAddr);
122 Log("MM_Allocate: MM_AllocPhys()");
123 ret = MM_AllocPhys();
124 Log("MM_Allocate: ret = %x", ret);
127 if( !MM_Map(VAddr, ret) )
129 Warning("MM_Allocate: Unable to map", ret);
137 void MM_Deallocate(tVAddr VAddr)
141 phys = MM_GetPhysAddr(VAddr);
150 * \brief Get the physical address of a virtual location
152 tPAddr MM_GetPhysAddr(tVAddr Addr)
154 Log("MM_GetPhysAddr: (Addr=0x%x)", Addr);
155 if( !(PAGEMAPLVL4(Addr >> 39) & 1) )
157 Log(" MM_GetPhysAddr: PDP Valid");
158 if( !(PAGEDIRPTR(Addr >> 30) & 1) )
160 Log(" MM_GetPhysAddr: PD Valid");
161 if( !(PAGEDIR(Addr >> 21) & 1) )
163 Log(" MM_GetPhysAddr: PT Valid");
164 if( !(PAGETABLE(Addr >> PTAB_SHIFT) & 1) )
166 Log(" MM_GetPhysAddr: Page Valid");
168 return (PAGETABLE(Addr >> PTAB_SHIFT) & ~0xFFF) | (Addr & 0xFFF);
172 * \brief Sets the flags on a page
174 void MM_SetFlags(tVAddr VAddr, Uint Flags, Uint Mask)
179 if( !(PAGEMAPLVL4(VAddr >> 39) & 1) )
181 if( !(PAGEDIRPTR(VAddr >> 30) & 1) )
183 if( !(PAGEDIR(VAddr >> 21) & 1) )
185 if( !(PAGETABLE(VAddr >> 12) & 1) )
189 ent = &PAGETABLE(VAddr >> 12);
192 if( Mask & MM_PFLAG_RO )
194 if( Flags & MM_PFLAG_RO ) {
203 if( Mask & MM_PFLAG_KERNEL )
205 if( Flags & MM_PFLAG_KERNEL ) {
214 if( Mask & MM_PFLAG_COW )
216 if( Flags & MM_PFLAG_COW ) {
227 if( Mask & MM_PFLAG_EXEC )
229 if( Flags & MM_PFLAG_EXEC ) {
239 * \brief Get the flags applied to a page
241 Uint MM_GetFlags(tVAddr VAddr)
247 if( !(PAGEMAPLVL4(VAddr >> 39) & 1) )
249 if( !(PAGEDIRPTR(VAddr >> 30) & 1) )
251 if( !(PAGEDIR(VAddr >> 21) & 1) )
253 if( !(PAGETABLE(VAddr >> 12) & 1) )
257 ent = &PAGETABLE(VAddr >> 12);
260 if( !(*ent & PF_WRITE) ) ret |= MM_PFLAG_RO;
262 if( !(*ent & PF_USER) ) ret |= MM_PFLAG_KERNEL;
264 if( *ent & PF_COW ) ret |= MM_PFLAG_COW;
266 if( !(*ent & PF_NX) ) ret |= MM_PFLAG_EXEC;
271 // --- Hardware Mappings ---
273 * \brief Map a range of hardware pages
275 tVAddr MM_MapHWPages(tPAddr PAddr, Uint Number)
277 Log_KernelPanic("MM", "TODO: Implement MM_MapHWPages");
282 * \brief Free a range of hardware pages
284 void MM_UnmapHWPages(tVAddr VAddr, Uint Number)
286 Log_KernelPanic("MM", "TODO: Implement MM_UnmapHWPages");
289 // --- Tempory Mappings ---
290 tVAddr MM_MapTemp(tPAddr PAddr)
292 Log_KernelPanic("MM", "TODO: Implement MM_MapTemp");
296 void MM_FreeTemp(tVAddr VAddr)
298 Log_KernelPanic("MM", "TODO: Implement MM_FreeTemp");
303 // --- Address Space Clone --
304 tPAddr MM_Clone(void)
308 // #1 Create a copy of the PML4
309 ret = MM_AllocPhys();
312 // #2 Alter the fractal pointer
313 // #3 Set Copy-On-Write to all user pages
318 void MM_ClearUser(void)
321 // #1 Traverse the structure < 2^47, Deref'ing all pages
322 // #2 Free tables/dirs/pdps once they have been cleared
324 for( addr = 0; addr < 0x800000000000; )
326 if( PAGEMAPLVL4(addr >> PML4_SHIFT) & 1 )
328 if( PAGEDIRPTR(addr >> PDP_SHIFT) & 1 )
330 if( PAGEDIR(addr >> PDIR_SHIFT) & 1 )
333 if( PAGETABLE(addr >> PTAB_SHIFT) & 1 ) {
334 MM_DerefPhys( PAGETABLE(addr >> PTAB_SHIFT) & PADDR_MASK );
335 PAGETABLE(addr >> PTAB_SHIFT) = 0;
337 addr += 1 << PTAB_SHIFT;
338 // Dereference the PDIR Entry
339 if( (addr + (1 << PTAB_SHIFT)) >> PDIR_SHIFT != (addr >> PDIR_SHIFT) ) {
340 MM_DerefPhys( PAGEMAPLVL4(addr >> PDIR_SHIFT) & PADDR_MASK );
341 PAGEDIR(addr >> PDIR_SHIFT) = 0;
345 addr += 1 << PDIR_SHIFT;
348 // Dereference the PDP Entry
349 if( (addr + (1 << PDIR_SHIFT)) >> PDP_SHIFT != (addr >> PDP_SHIFT) ) {
350 MM_DerefPhys( PAGEMAPLVL4(addr >> PDP_SHIFT) & PADDR_MASK );
351 PAGEDIRPTR(addr >> PDP_SHIFT) = 0;
355 addr += 1 << PDP_SHIFT;
358 // Dereference the PML4 Entry
359 if( (addr + (1 << PDP_SHIFT)) >> PML4_SHIFT != (addr >> PML4_SHIFT) ) {
360 MM_DerefPhys( PAGEMAPLVL4(addr >> PML4_SHIFT) & PADDR_MASK );
361 PAGEMAPLVL4(addr >> PML4_SHIFT) = 0;
365 addr += (tVAddr)1 << PML4_SHIFT;
371 tVAddr MM_NewWorkerStack(void)
376 tVAddr MM_NewKStack(void)