* Userland - Lower Half
* Kernel land - Upper Half
*
- * 0xFFFF8000 00000000 - 0xFFFFFFFF FFFFFFFF 2**47 Kernel Range
- * 8000 00000000 - 8000 7FFFFFFF 2 GiB Identity Map
- * 8000 80000000 - 8001 00000000 2 GiB Kernel Heap
- * 9000 00000000 - 9800 00000000 cbf Module Space
- * 9800 00000000 - 9900 00000000 cbf Per-Process Data
- * 9900 00000000 - 9A00 00000000 cbf Kernel VFS
+ * START ADDRESS END ADDRESS BITS SIZE NAME
+ * 0x00000000 00000000 - 0x00007FFF FFFFFFFF 47 128 TiB User Space
+ * 0x00008000 00000000 - 0xFFFF7FFF FFFFFFFF --- SIGN EXTENSION NULL ZONE
+ * 0xFFFF8000 00000000 - 0xFFFFFFFF FFFFFFFF 47 128 TiB Kernel Range
+ * 8000 00000000 - 9000 00000000 42 16 TiB Kernel Heap
+ * 9000 00000000 - 9800 00000000 43 8 TiB Module Space
+ * 9800 00000000 - 9A00 00000000 41 2 TiB Kernel VFS
+ * ---- GAP ---- 6 TiB
+ * A000 00000000 - B000 00000000 44 16 TiB Kernel Stacks
+ * C000 00000000 - D000 00000000 44 16 TiB Hardware Mappings
+ * D000 00000000 - D080 00000000 39 512 GiB Per-Process Data
+ * D080 00000000 - D100 00000000 39 512 GiB Kernel Supplied User Code
+ * ---- GAP ---- 15 TiB
+ * E000 00000000 - E400 00000000 42 4 TiB Physical Page Reference Counts (2**40 = 2**52 bytes)
+ * E400 00000000 - E480 00000000 39 512 GiB Physical Page Bitmap (1 page per bit)
+ * E480 00000000 - E500 00000000 39 512 GiB Physical Page DblAlloc Bitmap (1 page per bit)
+ * E500 00000000 - E500 80000000 31 2 GiB Physical Page Super Bitmap (64 pages per bit)
+ * ---- GAP ---- 9 TiB
+ * FE00 00000000 - FE80 00000000 39 512 GiB Fractal Mapping (PML4 508)
+ * FE80 00000000 - FF00 00000000 39 512 GiB Temp Fractal Mapping
+ * ---- GAP ---- 512 GiB -- UNUSED --
+ * FF80 00000000 - FF80 80000000 39 2 GiB Local APIC
+ * ---- GAP ----
+ * FFFF 00000000 - FFFF 80000000 31 2 GiB User Code
+ * FFFF 80000000 - FFFF FFFFFFFF 31 2 GiB Identity Map
*/
-#define MM_USER_MIN 0x00008FFF##FFFFF000
-//#define KERNEL_BASE 0xFFF8000##00000000
-#define MM_KHEAP_BASE (KERNEL_BASE|(0x0000##80000000))
-#define MM_KHEAP_MAX (KERNEL_BASE|(0x0001##00000000))
-#define MM_MODULE_MIN (KERNEL_BASE|(0x1000##00000000))
-#define MM_MODULE_MAX (KERNEL_BASE|(0x1800##00000000))
-#define MM_PPD_BASE (KERNEL_BASE|(0x1800##00000000))
-#define MM_PPD_VFS (KERNEL_BASE|(0x1880##00000000))
-#define MM_KERNEL_VFS (KERNEL_BASE|(0x1900##00000000))
+#define MM_USER_MIN 0x00000000##00010000
+#define USER_LIB_MAX 0x00007000##00000000
+#define USER_STACK_SZ 0x00000000##00020000 // 64 KiB
+#define USER_STACK_TOP 0x00007FFF##FFFFF000
+#define MM_USER_MAX 0x00007FFF##FFFFF000
+#define MM_KERNEL_RANGE 0xFFFF8000##00000000
+#define MM_KHEAP_BASE (MM_KERNEL_RANGE|(0x8000##00000000))
+#define MM_KHEAP_MAX (MM_KERNEL_RANGE|(0x9000##00000000))
+#define MM_MODULE_MIN (MM_KERNEL_RANGE|(0x9000##00000000))
+#define MM_MODULE_MAX (MM_KERNEL_RANGE|(0x9800##00000000))
+#define MM_KERNEL_VFS (MM_KERNEL_RANGE|(0x9800##00000000))
+#define MM_KSTACK_BASE (MM_KERNEL_RANGE|(0xA000##00000000))
+#define MM_KSTACK_TOP (MM_KERNEL_RANGE|(0xB000##00000000))
+
+#define MM_HWMAP_BASE (MM_KERNEL_RANGE|(0xC000##00000000))
+#define MM_HWMAP_TOP (MM_KERNEL_RANGE|(0xD000##00000000))
+#define MM_PPD_BASE (MM_KERNEL_RANGE|(0xD000##00000000))
+#define MM_PPD_CFG MM_PPD_BASE
+#define MM_PPD_VFS (MM_KERNEL_RANGE|(0xD008##00000000))
+#define MM_USER_CODE (MM_KERNEL_RANGE|(0xD080##00000000))
+
+#define MM_PAGE_COUNTS (MM_KERNEL_RANGE|(0xE000##00000000))
+#define MM_PAGE_BITMAP (MM_KERNEL_RANGE|(0xE400##00000000))
+#define MM_PAGE_DBLBMP (MM_KERNEL_RANGE|(0xE480##00000000))
+#define MM_PAGE_SUPBMP (MM_KERNEL_RANGE|(0xE500##00000000))
+
+#define MM_FRACTAL_BASE (MM_KERNEL_RANGE|(0xFE00##00000000))
+#define MM_TMPFRAC_BASE (MM_KERNEL_RANGE|(0xFE80##00000000))
+#define MM_LOCALAPIC (MM_KERNEL_RANGE|(0xFF80##00000000))
+
+
+// === FUNCTIONS ===
+void MM_FinishVirtualInit(void);
+tVAddr MM_NewKStack(void);
+tVAddr MM_Clone(void);
+tVAddr MM_NewWorkerStack(void);
#endif