+ptr_t
+vmm_unmount_pd(ptr_t mnt);
+
+static inline ptr_t
+vmm_mount_pg(ptr_t mnt, ptr_t pa) {
+ assert(pa);
+ vmm_set_mapping(VMS_SELF, mnt, pa, PG_PREM_RW, 0);
+ return mnt;
+}
+
+static inline ptr_t
+vmm_unmount_pg(ptr_t mnt) {
+ vmm_del_mapping(VMS_SELF, mnt);
+ return mnt;
+}
+
+void*
+vmm_ioremap(ptr_t paddr, size_t size);
+
+void*
+vmm_next_free(ptr_t start, int options);
+
+/**
+ * @brief 将当前地址空间的虚拟地址转译为物理地址。
+ *
+ * @param va 虚拟地址
+ * @return void*
+ */
+ptr_t
+vmm_v2p(ptr_t va);
+
+/**
+ * @brief 将指定地址空间的虚拟地址转译为物理地址
+ *
+ * @param mnt 地址空间锚定点
+ * @param va 虚拟地址
+ * @return void*
+ */
+ptr_t
+vmm_v2pat(ptr_t mnt, ptr_t va);
+
+/*
+ 表示一个 vmap 区域
+ (One must not get confused with vmap_area in Linux!)
+*/
+struct vmap_area
+{
+ ptr_t start;
+ size_t size;
+ pt_attr area_attr;
+};
+
+/**
+ * @brief 将连续的物理地址空间映射到内核虚拟地址空间
+ *
+ * @param paddr 物理地址空间的基地址
+ * @param size 物理地址空间的大小
+ * @return void*
+ */