- ptr_t start;
- size_t size;
- pt_attr area_attr;
-};
-
-/**
- * @brief 将连续的物理地址空间映射到内核虚拟地址空间
- *
- * @param paddr 物理地址空间的基地址
- * @param size 物理地址空间的大小
- * @return void*
- */
-void*
-vmap(ptr_t paddr, size_t size, pt_attr attr, int flags);
-
-/**
- * @brief 创建一个 vmap 区域
- *
- * @param paddr
- * @param attr
- * @return ptr_t
- */
-struct vmap_area*
-vmap_varea(size_t size, pt_attr attr);
-
-/**
- * @brief 在 vmap区域内映射一个单页
- *
- * @param paddr
- * @param attr
- * @return ptr_t
- */
-ptr_t
-vmap_area_page(struct vmap_area* area, ptr_t paddr, pt_attr attr);
+ pte_t* ptep = mkptep_va(VMS_SELF, va);
+ return pte_paddr(pte_at(ptep)) + va_offset(va);
+}