meta: rename

2024-11-02 11:31:51 +00:00
parent 065fdeec65
commit 62ec4c93ab
140 changed files with 422 additions and 857 deletions
@@ -0,0 +1,7 @@
+#ifndef MANGO_USER_PMAP_H_
+#define MANGO_USER_PMAP_H_
+
+typedef uintptr_t ml_pmap_t;
+typedef uint64_t ml_pfn_t;
+
+#endif