void fluke_mapping_destroy(fluke_mapping_t *mapping);
Destroys a mapping created with fluke_mapping_create. The memory range defined by the mapping is no longer accessible.
- mapping
- The mapping 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
- mapping does not point to an active object.
- NOT_MAPPING
- The object pointed to by mapping is not a mapping object.
- INVALID_OBJECT
- The state of the mapping object has become invalid.
fluke_mapping_create