os/kernel/OS.h

43 typedef int32 area_id;
53 	area_id		area;
86 extern area_id		create_area(const char *name, void **startAddress,
89 extern area_id		clone_area(const char *name, void **destAddress,
90 						uint32 addressSpec, uint32 protection, area_id source);
91 extern area_id		find_area(const char *name);
92 extern area_id		area_for(void *address);
93 extern status_t		delete_area(area_id id);
94 extern status_t		resize_area(area_id id, size_t newSize);
95 extern status_t		set_area_protection(area_id id, uint32 newProtection);
98 extern status_t		_get_area_info(area_id id, area_info *areaInfo, size_t size);