void fluke_region_destroy(fluke_region_t *region);
Destroys a region created with fluke_region_create. All memory mappings into the region are automatically invalidated.
- region
- The region to destroy.
If any of the following errors is detected by the Fluke implementation, it causes the current thread to take a synchronous exception with one of the following codes. All of these have an implicit FLUKE_INSANITY_ prefix.
- NO_OBJECT
- region does not point to an active object.
- NOT_REGION
- The object pointed to by region is not a region object.
- INVALID_OBJECT
- The state of the region object has become invalid.
fluke_region_create