struct mm_region*
region_create(ptr_t start, ptr_t end, u32_t attr);
+struct mm_region*
+region_create_range(ptr_t start, size_t length, u32_t attr);
+
void
region_add(vm_regions_t* lead, struct mm_region* vmregion);
void
-region_release_all(vm_regions_t* lead);
+region_release(pid_t pid, struct mm_region* region);
+
+void
+region_release_all(pid_t pid, vm_regions_t* lead);
struct mm_region*
region_get(vm_regions_t* lead, unsigned long vaddr);