1 #include "mm.h"
2 #include "slab.h"
3 #include "internal.h"
4 #include <common/compiler.h>
5 #include <debug/bug.h>
6
7 extern uint64_t mm_total_2M_pages;
8
9 /**
10 * @brief 虚拟地址长度所需要的entry数量
11 *
12 */
13 typedef struct
14 {
15 int64_t num_PML4E;
16 int64_t num_PDPTE;
17 int64_t num_PDE;
18 int64_t num_PTE;
19 } mm_pgt_entry_num_t;
20
21 /**
22 * @brief 计算虚拟地址长度对应的页表entry数量
23 *
24 * @param length 长度
25 * @param ent 返回的entry数量结构体
26 */
mm_calculate_entry_num(uint64_t length,mm_pgt_entry_num_t * ent)27 static void mm_calculate_entry_num(uint64_t length, mm_pgt_entry_num_t *ent)
28 {
29 if (ent == NULL)
30 return;
31 ent->num_PML4E = (length + (1UL << PAGE_GDT_SHIFT) - 1) >> PAGE_GDT_SHIFT;
32 ent->num_PDPTE = (length + PAGE_1G_SIZE - 1) >> PAGE_1G_SHIFT;
33 ent->num_PDE = (length + PAGE_2M_SIZE - 1) >> PAGE_2M_SHIFT;
34 ent->num_PTE = (length + PAGE_4K_SIZE - 1) >> PAGE_4K_SHIFT;
35 }
36
37 /**
38 * @brief 将物理地址映射到页表的函数
39 *
40 * @param virt_addr_start 要映射到的虚拟地址的起始位置
41 * @param phys_addr_start 物理地址的起始位置
42 * @param length 要映射的区域的长度(字节)
43 * @param flags 标志位
44 * @param use4k 是否使用4k页
45 */
mm_map_phys_addr(ul virt_addr_start,ul phys_addr_start,ul length,ul flags,bool use4k)46 int mm_map_phys_addr(ul virt_addr_start, ul phys_addr_start, ul length, ul flags, bool use4k)
47 {
48 uint64_t global_CR3 = (uint64_t)get_CR3();
49
50 return mm_map_proc_page_table(global_CR3, true, virt_addr_start, phys_addr_start, length, flags, false, true, use4k);
51 }
52
mm_map_phys_addr_user(ul virt_addr_start,ul phys_addr_start,ul length,ul flags)53 int mm_map_phys_addr_user(ul virt_addr_start, ul phys_addr_start, ul length, ul flags)
54 {
55 uint64_t global_CR3 = (uint64_t)get_CR3();
56 return mm_map_proc_page_table(global_CR3, true, virt_addr_start, phys_addr_start, length, flags, true, true, false);
57 }
58
59 /**
60 * @brief 将将物理地址填写到进程的页表的函数
61 *
62 * @param proc_page_table_addr 页表的基地址
63 * @param is_phys 页表的基地址是否为物理地址
64 * @param virt_addr_start 要映射到的虚拟地址的起始位置
65 * @param phys_addr_start 物理地址的起始位置
66 * @param length 要映射的区域的长度(字节)
67 * @param user 用户态是否可访问
68 * @param flush 是否刷新tlb
69 * @param use4k 是否使用4k页
70 */
mm_map_proc_page_table(ul proc_page_table_addr,bool is_phys,ul virt_addr_start,ul phys_addr_start,ul length,ul flags,bool user,bool flush,bool use4k)71 int mm_map_proc_page_table(ul proc_page_table_addr, bool is_phys, ul virt_addr_start, ul phys_addr_start, ul length, ul flags, bool user, bool flush, bool use4k)
72 {
73
74 // 计算线性地址对应的pml4页表项的地址
75 mm_pgt_entry_num_t pgt_num;
76 mm_calculate_entry_num(length, &pgt_num);
77
78 // 已映射的内存大小
79 uint64_t length_mapped = 0;
80
81 // 对user标志位进行校正
82 if ((flags & PAGE_U_S) != 0)
83 user = true;
84 else
85 user = false;
86
87 uint64_t pml4e_id = ((virt_addr_start >> PAGE_GDT_SHIFT) & 0x1ff);
88 uint64_t *pml4_ptr;
89 if (is_phys)
90 pml4_ptr = phys_2_virt((ul *)((ul)proc_page_table_addr & (~0xfffUL)));
91 else
92 pml4_ptr = (ul *)((ul)proc_page_table_addr & (~0xfffUL));
93
94 // 循环填写顶层页表
95 for (; (pgt_num.num_PML4E > 0) && pml4e_id < 512; ++pml4e_id)
96 {
97 // 剩余需要处理的pml4E -1
98 --(pgt_num.num_PML4E);
99
100 ul *pml4e_ptr = pml4_ptr + pml4e_id;
101
102 // 创建新的二级页表
103 if (*pml4e_ptr == 0)
104 {
105 ul *virt_addr = kmalloc(PAGE_4K_SIZE, 0);
106 memset(virt_addr, 0, PAGE_4K_SIZE);
107 set_pml4t(pml4e_ptr, mk_pml4t(virt_2_phys(virt_addr), (user ? PAGE_USER_PGT : PAGE_KERNEL_PGT)));
108 }
109
110 uint64_t pdpte_id = (((virt_addr_start + length_mapped) >> PAGE_1G_SHIFT) & 0x1ff);
111 uint64_t *pdpt_ptr = (uint64_t *)phys_2_virt(*pml4e_ptr & (~0xfffUL));
112
113 // 循环填写二级页表
114 for (; (pgt_num.num_PDPTE > 0) && pdpte_id < 512; ++pdpte_id)
115 {
116 --pgt_num.num_PDPTE;
117 uint64_t *pdpte_ptr = (pdpt_ptr + pdpte_id);
118
119 // 创建新的三级页表
120 if (*pdpte_ptr == 0)
121 {
122 ul *virt_addr = kmalloc(PAGE_4K_SIZE, 0);
123 memset(virt_addr, 0, PAGE_4K_SIZE);
124 set_pdpt(pdpte_ptr, mk_pdpt(virt_2_phys(virt_addr), (user ? PAGE_USER_DIR : PAGE_KERNEL_DIR)));
125 }
126
127 uint64_t pde_id = (((virt_addr_start + length_mapped) >> PAGE_2M_SHIFT) & 0x1ff);
128 uint64_t *pd_ptr = (uint64_t *)phys_2_virt(*pdpte_ptr & (~0xfffUL));
129
130 // 循环填写三级页表,初始化2M物理页
131 for (; (pgt_num.num_PDE > 0) && pde_id < 512; ++pde_id)
132 {
133 --pgt_num.num_PDE;
134 // 计算当前2M物理页对应的pdt的页表项的物理地址
135 ul *pde_ptr = pd_ptr + pde_id;
136 // ====== 使用4k页 =======
137 if (unlikely(use4k))
138 {
139 // kdebug("use 4k");
140 if (*pde_ptr == 0)
141 {
142 // 创建四级页表
143 uint64_t *vaddr = kmalloc(PAGE_4K_SIZE, 0);
144 memset(vaddr, 0, PAGE_4K_SIZE);
145 set_pdt(pde_ptr, mk_pdt(virt_2_phys(vaddr), (user ? PAGE_USER_PDE : PAGE_KERNEL_PDE)));
146 }
147 else if (unlikely(*pde_ptr & (1 << 7)))
148 {
149 // 当前页表项已经被映射了2MB物理页
150 goto failed;
151 }
152
153 uint64_t pte_id = (((virt_addr_start + length_mapped) >> PAGE_4K_SHIFT) & 0x1ff);
154 uint64_t *pt_ptr = (uint64_t *)phys_2_virt(*pde_ptr & (~0xfffUL));
155
156 // 循环填写4级页表,初始化4K页
157 for (; (pgt_num.num_PTE > 0) && pte_id < 512; ++pte_id)
158 {
159 --pgt_num.num_PTE;
160 uint64_t *pte_ptr = pt_ptr + pte_id;
161
162 if (unlikely(*pte_ptr != 0))
163 kwarn("pte already exists.");
164 else
165 set_pt(pte_ptr, mk_pt((ul)phys_addr_start + length_mapped, flags | (user ? PAGE_USER_4K_PAGE : PAGE_KERNEL_4K_PAGE)));
166 length_mapped += PAGE_4K_SIZE;
167 }
168 }
169 // ======= 使用2M页 ========
170 else
171 {
172 if (unlikely((*pde_ptr != 0) && user == true))
173 {
174 // 如果是用户态可访问的页,则释放当前新获取的物理页
175 if (likely((((ul)phys_addr_start + length_mapped) >> PAGE_2M_SHIFT) < mm_total_2M_pages)) // 校验是否为内存中的物理页
176 free_pages(Phy_to_2M_Page((ul)phys_addr_start + length_mapped), 1);
177 length_mapped += PAGE_2M_SIZE;
178 continue;
179 }
180 // 页面写穿,禁止缓存
181 set_pdt(pde_ptr, mk_pdt((ul)phys_addr_start + length_mapped, flags | (user ? PAGE_USER_PAGE : PAGE_KERNEL_PAGE)));
182 length_mapped += PAGE_2M_SIZE;
183 }
184 }
185 }
186 }
187 if (likely(flush))
188 flush_tlb();
189 return 0;
190 failed:;
191 kerror("Map memory failed. use4k=%d, vaddr=%#018lx, paddr=%#018lx", use4k, virt_addr_start, phys_addr_start);
192 return -EFAULT;
193 }
194
195 /**
196 * @brief 从页表中清除虚拟地址的映射
197 *
198 * @param proc_page_table_addr 页表的地址
199 * @param is_phys 页表地址是否为物理地址
200 * @param virt_addr_start 要清除的虚拟地址的起始地址
201 * @param length 要清除的区域的长度
202 */
mm_unmap_proc_table(ul proc_page_table_addr,bool is_phys,ul virt_addr_start,ul length)203 void mm_unmap_proc_table(ul proc_page_table_addr, bool is_phys, ul virt_addr_start, ul length)
204 {
205
206 // 计算线性地址对应的pml4页表项的地址
207 mm_pgt_entry_num_t pgt_num;
208 mm_calculate_entry_num(length, &pgt_num);
209 // 已取消映射的内存大小
210 uint64_t length_unmapped = 0;
211
212 uint64_t pml4e_id = ((virt_addr_start >> PAGE_GDT_SHIFT) & 0x1ff);
213 uint64_t *pml4_ptr;
214 if (is_phys)
215 pml4_ptr = phys_2_virt((ul *)((ul)proc_page_table_addr & (~0xfffUL)));
216 else
217 pml4_ptr = (ul *)((ul)proc_page_table_addr & (~0xfffUL));
218
219 // 循环填写顶层页表
220 for (; (pgt_num.num_PML4E > 0) && pml4e_id < 512; ++pml4e_id)
221 {
222 // 剩余需要处理的pml4E -1
223 --(pgt_num.num_PML4E);
224
225 ul *pml4e_ptr = NULL;
226 pml4e_ptr = pml4_ptr + pml4e_id;
227
228 // 二级页表不存在
229 if (*pml4e_ptr == 0)
230 {
231 continue;
232 }
233
234 uint64_t pdpte_id = (((virt_addr_start + length_unmapped) >> PAGE_1G_SHIFT) & 0x1ff);
235 uint64_t *pdpt_ptr = (uint64_t *)phys_2_virt(*pml4e_ptr & (~0xfffUL));
236 // kdebug("pdpt_ptr=%#018lx", pdpt_ptr);
237
238 // 循环处理二级页表
239 for (; (pgt_num.num_PDPTE > 0) && pdpte_id < 512; ++pdpte_id)
240 {
241 --pgt_num.num_PDPTE;
242 uint64_t *pdpte_ptr = (pdpt_ptr + pdpte_id);
243 // kdebug("pgt_num.num_PDPTE=%ld pdpte_ptr=%#018lx", pgt_num.num_PDPTE, pdpte_ptr);
244
245 // 三级页表为空
246 if (*pdpte_ptr == 0)
247 {
248 continue;
249 }
250
251 uint64_t pde_id = (((virt_addr_start + length_unmapped) >> PAGE_2M_SHIFT) & 0x1ff);
252 uint64_t *pd_ptr = (uint64_t *)phys_2_virt(*pdpte_ptr & (~0xfffUL));
253 // kdebug("pd_ptr=%#018lx, *pd_ptr=%#018lx", pd_ptr, *pd_ptr);
254
255 // 循环处理三级页表
256 for (; (pgt_num.num_PDE > 0) && pde_id < 512; ++pde_id)
257 {
258 --pgt_num.num_PDE;
259 // 计算当前2M物理页对应的pdt的页表项的物理地址
260 ul *pde_ptr = pd_ptr + pde_id;
261
262 // 存在4级页表
263 if (((*pde_ptr) & (1 << 7)) == 0)
264 {
265 // 存在4K页
266 uint64_t pte_id = (((virt_addr_start + length_unmapped) >> PAGE_4K_SHIFT) & 0x1ff);
267 uint64_t *pt_ptr = (uint64_t *)phys_2_virt(*pde_ptr & (~0xfffUL));
268 // 循环处理4K页表
269 for (; pgt_num.num_PTE > 0 && pte_id < 512; ++pte_id)
270 {
271 uint64_t *pte_ptr = pt_ptr + pte_id;
272 --pgt_num.num_PTE;
273 *pte_ptr = 0;
274 length_unmapped += PAGE_4K_SIZE;
275 }
276
277 // 4级页表已经空了,释放页表
278 if (unlikely(mm_check_page_table(pt_ptr)) == 0)
279 {
280 *pde_ptr = 0;
281 kfree(pt_ptr);
282 }
283 }
284 else
285 {
286 *pde_ptr = 0;
287 length_unmapped += PAGE_2M_SIZE;
288 pgt_num.num_PTE -= 512;
289 }
290 }
291
292 // 3级页表已经空了,释放页表
293 if (unlikely(mm_check_page_table(pd_ptr)) == 0)
294 {
295 *pdpte_ptr = 0;
296 kfree(pd_ptr);
297 }
298 }
299 // 2级页表已经空了,释放页表
300 if (unlikely(mm_check_page_table(pdpt_ptr)) == 0)
301 {
302 *pml4e_ptr = 0;
303 kfree(pdpt_ptr);
304 }
305 }
306 flush_tlb();
307 }
308
309 /**
310 * @brief 创建VMA
311 *
312 * @param mm 要绑定的内存空间分布结构体
313 * @param vaddr 起始虚拟地址
314 * @param length 长度(字节)
315 * @param vm_flags vma的标志
316 * @param vm_ops vma的操作接口
317 * @param res_vma 返回的vma指针
318 * @return int 错误码
319 */
mm_create_vma(struct mm_struct * mm,uint64_t vaddr,uint64_t length,vm_flags_t vm_flags,struct vm_operations_t * vm_ops,struct vm_area_struct ** res_vma)320 int mm_create_vma(struct mm_struct *mm, uint64_t vaddr, uint64_t length, vm_flags_t vm_flags, struct vm_operations_t *vm_ops, struct vm_area_struct **res_vma)
321 {
322 int retval = 0;
323 // 输入的地址如果不是4K对齐,则报错
324 if (unlikely(vaddr & (PAGE_4K_SIZE - 1)))
325 return -EINVAL;
326
327 struct vm_area_struct *vma = vm_area_alloc(mm);
328 if (unlikely(vma == NULL))
329 return -ENOMEM;
330 vma->vm_ops = vm_ops;
331 vma->vm_flags = vm_flags;
332 vma->vm_start = vaddr;
333 vma->vm_end = vaddr + length;
334 // 将VMA加入mm的链表
335 retval = vma_insert(mm, vma);
336 if (retval == -EEXIST || retval == __VMA_MERGED) // 之前已经存在了相同的vma,直接返回
337 {
338 *res_vma = vma_find(mm, vma->vm_start);
339 kfree(vma);
340 if (retval == -EEXIST)
341 return -EEXIST;
342 else
343 return 0;
344 }
345
346 if (res_vma != NULL)
347 *res_vma = vma;
348 return 0;
349 }
350
351 /**
352 * @brief 将指定的物理地址映射到指定的vma处
353 *
354 * @param vma 要进行映射的VMA结构体
355 * @param paddr 起始物理地址
356 * @param offset 要映射的起始位置在vma中的偏移量
357 * @param length 要映射的长度
358 * @return int 错误码
359 */
mm_map_vma(struct vm_area_struct * vma,uint64_t paddr,uint64_t offset,uint64_t length)360 int mm_map_vma(struct vm_area_struct *vma, uint64_t paddr, uint64_t offset, uint64_t length)
361 {
362 int retval = 0;
363 uint64_t mapped = 0;
364 BUG_ON((offset & (PAGE_4K_SIZE - 1)) != 0);
365 length = PAGE_4K_ALIGN(length); // 将length按照4K进行对齐
366 // 获取物理地址对应的页面
367 struct Page *pg;
368 uint64_t page_flags = 0;
369 if (vma->vm_flags & VM_IO) // 对于mmio的内存,创建新的page结构体
370 {
371 page_flags = PAGE_PWT | PAGE_PCD;
372 if (unlikely(vma->anon_vma == NULL || vma->anon_vma->page == NULL))
373 pg = __create_mmio_page_struct(paddr);
374 else
375 pg = vma->anon_vma->page;
376 }
377 else
378 pg = Phy_to_2M_Page(paddr);
379
380 if (unlikely(pg->anon_vma == NULL)) // 若页面不存在anon_vma,则为页面创建anon_vma
381 {
382 spin_lock(&pg->op_lock);
383 if (unlikely(pg->anon_vma == NULL))
384 __anon_vma_create_alloc(pg, false);
385 spin_unlock(&pg->op_lock);
386 }
387 barrier();
388 // 将anon vma与vma进行绑定
389 __anon_vma_add(pg->anon_vma, vma);
390 barrier();
391 // 长度超过界限
392 BUG_ON(vma->vm_start + offset + length > vma->vm_end);
393
394 /*
395 todo: 限制页面的读写权限
396 */
397
398 // ==== 将地址映射到页表 ====
399 uint64_t len_4k, len_2m;
400 // 将地址使用4k页填补,使得地址按照2M对齐
401 len_4k = PAGE_2M_ALIGN(vma->vm_start + offset) - (vma->vm_start + offset);
402 if (len_4k > 0)
403 len_4k = (len_4k > length) ? length : len_4k;
404 if (len_4k)
405 {
406 if (vma->vm_flags & VM_USER)
407 page_flags |= PAGE_USER_4K_PAGE;
408 else
409 page_flags |= PAGE_KERNEL_4K_PAGE;
410
411 // 这里直接设置user标志位为false,因为该函数内部会对其进行自动校正
412 retval = mm_map_proc_page_table((uint64_t)vma->vm_mm->pgd, true, vma->vm_start + offset, paddr, len_4k, page_flags, false, false, true);
413 if (unlikely(retval != 0))
414 goto failed;
415
416 mapped += len_4k;
417 length -= len_4k;
418 }
419
420 len_4k = length % PAGE_2M_SIZE;
421 len_2m = length / PAGE_2M_SIZE;
422
423 // 映射连续的2M页
424 if (likely(len_2m > 0))
425 {
426 if (vma->vm_flags & VM_USER)
427 page_flags |= PAGE_USER_PAGE;
428 else
429 page_flags |= PAGE_KERNEL_PAGE;
430 // 这里直接设置user标志位为false,因为该函数内部会对其进行自动校正
431 retval = mm_map_proc_page_table((uint64_t)vma->vm_mm->pgd, true, vma->vm_start + offset + mapped, paddr + mapped, len_2m, page_flags, false, false, false);
432
433 if (unlikely(retval != 0))
434 goto failed;
435 mapped += len_2m;
436 }
437 // 最后再使用4K页填补
438 if (likely(len_4k > 0))
439 {
440
441 if (vma->vm_flags & VM_USER)
442 page_flags |= PAGE_USER_4K_PAGE;
443 else
444 page_flags |= PAGE_KERNEL_4K_PAGE;
445
446 // 这里直接设置user标志位为false,因为该函数内部会对其进行自动校正
447 retval = mm_map_proc_page_table((uint64_t)vma->vm_mm->pgd, true, vma->vm_start + offset + mapped, paddr + mapped, len_4k, page_flags, false, false, true);
448
449 if (unlikely(retval != 0))
450 goto failed;
451 mapped += len_4k;
452 }
453
454 if (vma->vm_flags & VM_IO)
455 vma->page_offset = 0;
456
457 flush_tlb();
458 return 0;
459 failed:;
460 kdebug("map VMA failed.");
461 return retval;
462 }
463
464 /**
465 * @brief 在页表中映射物理地址到指定的虚拟地址(需要页表中已存在对应的vma)
466 *
467 * @param mm 内存管理结构体
468 * @param vaddr 虚拟地址
469 * @param length 长度(字节)
470 * @param paddr 物理地址
471 * @return int 返回码
472 */
mm_map(struct mm_struct * mm,uint64_t vaddr,uint64_t length,uint64_t paddr)473 int mm_map(struct mm_struct *mm, uint64_t vaddr, uint64_t length, uint64_t paddr)
474 {
475 int retval = 0;
476 uint64_t offset = 0;
477 for (uint64_t mapped = 0; mapped < length;)
478 {
479
480 struct vm_area_struct *vma = vma_find(mm, vaddr + mapped);
481 if (unlikely(vma == NULL))
482 {
483 kerror("Map addr failed: vma not found. At address: %#018lx, pid=%ld", vaddr + mapped, current_pcb->pid);
484 return -EINVAL;
485 }
486
487 // if (unlikely(vma->vm_start != (vaddr + mapped)))
488 // {
489 // kerror("Map addr failed: addr_start is not equal to current: %#018lx.", vaddr + mapped);
490 // return -EINVAL;
491 // }
492
493 offset = vaddr + mapped - vma->vm_start;
494 uint64_t m_len = vma->vm_end - vma->vm_start - offset;
495 // kdebug("start=%#018lx, offset=%ld", vma->vm_start, offset);
496 retval = mm_map_vma(vma, paddr + mapped, offset, m_len);
497 if (unlikely(retval != 0))
498 goto failed;
499
500 mapped += m_len;
501 }
502 return 0;
503 failed:;
504 kerror("Map addr failed.");
505 return retval;
506 }
507
508 /**
509 * @brief 在页表中取消指定的vma的映射
510 *
511 * @param mm 指定的mm
512 * @param vma 待取消映射的vma
513 * @param paddr 返回的被取消映射的起始物理地址
514 * @return int 返回码
515 */
mm_unmap_vma(struct mm_struct * mm,struct vm_area_struct * vma,uint64_t * paddr)516 int mm_unmap_vma(struct mm_struct *mm, struct vm_area_struct *vma, uint64_t *paddr)
517 {
518 // 确保vma对应的mm与指定的mm相一致
519 if (unlikely(vma->vm_mm != mm))
520 return -EINVAL;
521 struct anon_vma_t *anon = vma->anon_vma;
522 if (paddr != NULL)
523 *paddr = __mm_get_paddr(mm, vma->vm_start);
524 if (anon == NULL)
525 kwarn("anon is NULL");
526 semaphore_down(&anon->sem);
527
528 mm_unmap_proc_table((uint64_t)mm->pgd, true, vma->vm_start, vma->vm_end - vma->vm_start);
529 __anon_vma_del(vma);
530 /** todo: 这里应该会存在bug,应修复。
531 * 若anon_vma的等待队列上有其他的进程,由于anon_vma被释放
532 * 这些在等待队列上的进程将无法被唤醒。
533 */
534 list_init(&vma->anon_vma_list);
535
536 semaphore_up(&anon->sem);
537
538 return 0;
539 }
540
541 /**
542 * @brief 解除一段虚拟地址的映射(这些地址必须在vma中存在)
543 *
544 * @param mm 内存空间结构体
545 * @param vaddr 起始地址
546 * @param length 结束地址
547 * @param destroy 是否释放vma结构体
548 * @return int 错误码
549 */
mm_unmap(struct mm_struct * mm,uint64_t vaddr,uint64_t length,bool destroy)550 int mm_unmap(struct mm_struct *mm, uint64_t vaddr, uint64_t length, bool destroy)
551 {
552 int retval = 0;
553 for (uint64_t unmapped = 0; unmapped < length;)
554 {
555 struct vm_area_struct *vma = vma_find(mm, vaddr + unmapped);
556 if (unlikely(vma == NULL))
557 {
558 kerror("Unmap addr failed: vma not found. At address: %#018lx, pid=%ld", vaddr + unmapped, current_pcb->pid);
559 return -EINVAL;
560 }
561
562 if (unlikely(vma->vm_start != (vaddr + unmapped)))
563 {
564 kerror("Unmap addr failed: addr_start is not equal to current: %#018lx.", vaddr + unmapped);
565 return -EINVAL;
566 }
567 if (vma->anon_vma != NULL)
568 mm_unmap_vma(mm, vma, NULL);
569
570 unmapped += vma->vm_end - vma->vm_start;
571 // 释放vma结构体
572 if (destroy)
573 {
574 vm_area_del(vma);
575 vm_area_free(vma);
576 }
577 }
578 return 0;
579 failed:;
580 kerror("Unmap addr failed.");
581 return retval;
582 }
583