The VAddr->PAddr translation is different for non-IO memory
Line 499:
Line 499:
| <code>0b111111111110</code>
| <code>0b111111111110</code>
| Map memory page
| Map memory page
−
| Bits 0-19: page index to map (virtual address >> 12; the physical address is determined by subtracting 0x0EB00000); Bit 20: Map read-only (otherwise read-write)
+
| Bits 0-19: page index to map (virtual address >> 12; the physical address is determined per-page according to [[Memory layout]]); Bit 20: Map read-only (otherwise read-write)