+void
+region_add(vm_regions_t* lead, struct mm_region* vmregion);
+
+void
+region_release_all(vm_regions_t* lead);
+
+struct mm_region*
+region_get(vm_regions_t* lead, unsigned long vaddr);
+
+void
+region_copy(vm_regions_t* src, vm_regions_t* dest);