+static int initialized = 0;
+static int paging_enb = 0;
+static unsigned long *pd;
+
+extern int _bss, _bssend, _end;
+
+unsigned long v2p(void *virt)
+{
+ unsigned long _virt = (unsigned long)virt;
+
+ if (!paging_enb)
+ return _virt;
+
+ if (_virt >= 0xA0000 && _virt < 0xC0000)
+ return _virt;
+ if (_virt >= 0x200000 && _virt < 0x300000)
+ return _virt - 0x200000 + /* XXX */ 0x1FF82000;
+ outputf("WARNING: v2p(%08x)", _virt);
+ return 0xFFFFFFFF;
+}
+
+void *p2v(unsigned long phys)
+{
+ if (!paging_enb)
+ return (void*)phys;
+
+ if (phys >= 0xA0000 && phys < 0xC0000)
+ return (void*)phys;
+ if (phys >= 0x1FF80000 && phys < 0x20000000)
+ return (void*)(phys - 0x1FF82000 + 0x200000);
+ outputf("WARNING: p2v(%08x)", phys);
+ return (void *)0xFFFFFFFF;
+}
+
+
+inline int pt_addmap(unsigned long *pd, unsigned long vaddr, unsigned long paddr)
+{
+ unsigned long pde = ((unsigned long *)p2v((unsigned long)pd))[PDE_FOR(vaddr)];
+ unsigned long *pt;
+
+ if (!(pde & PTE_PRESENT))
+ return -1;
+
+ pt = (unsigned long *)p2v(ADDR_12_MASK(pde));
+ pt[PTE_FOR(vaddr)] = paddr | PTE_PRESENT | PTE_READ_WRITE;
+
+ return 0;
+}
+
+static void * pt_setup(int tseg_start, int tseg_size) {