The first commit

src/done/virtualtophysical.c

@@ -0,0 +1,19 @@
+#include <os_internal.h>
+#include <R4300.h>
+#include "osint.h"
+
+u32 osVirtualToPhysical(void *addr)
+{
+    if (IS_KSEG0(addr))
+    {
+        return K0_TO_PHYS(addr);
+    }
+    else if (IS_KSEG1(addr))
+    {
+        return K1_TO_PHYS(addr);
+    }
+    else
+    {
+        return __osProbeTLB(addr);
+    }
+}