+ptr_t
+vmm_del_mapping(ptr_t mnt, ptr_t va);
+
+/**
+ * @brief 在当前虚拟地址空间里查找一个映射
+ *
+ * @param va 虚拟地址
+ * @param mapping 映射相关属性
+ */
+int
+vmm_lookup(ptr_t va, v_mapping* mapping);
+
+/**
+ * @brief 在指定的虚拟地址空间里查找一个映射
+ *
+ * @param mnt 地址空间锚定点
+ * @param va 虚拟地址
+ * @param mapping 映射相关属性
+ * @return int
+ */
+int
+vmm_lookupat(ptr_t mnt, ptr_t va, v_mapping* mapping);