version 1.163.16.2, 2018/11/26 01:52:52 |
version 1.163.16.3, 2018/12/26 14:02:08 |
|
|
uvm_uarea_free(vaddr_t uaddr) |
uvm_uarea_free(vaddr_t uaddr) |
{ |
{ |
|
|
kasan_free((void *)uaddr, USPACE); |
kasan_mark((void *)uaddr, USPACE, USPACE); |
pool_cache_put(uvm_uarea_cache, (void *)uaddr); |
pool_cache_put(uvm_uarea_cache, (void *)uaddr); |
} |
} |
|
|
|
|
uvm_uarea_system_free(vaddr_t uaddr) |
uvm_uarea_system_free(vaddr_t uaddr) |
{ |
{ |
|
|
kasan_free((void *)uaddr, USPACE); |
kasan_mark((void *)uaddr, USPACE, USPACE); |
pool_cache_put(uvm_uarea_system_cache, (void *)uaddr); |
pool_cache_put(uvm_uarea_system_cache, (void *)uaddr); |
} |
} |
|
|