void fluke_region_move(fluke_region_t *old_addr, fluke_region_t *new_addr);
Moves the specified active region object from one location in the caller's address space to another. The memory addressed by new_addr must not already contain any active Fluke objects. On return, the region object will reside at new_addr and the memory left behind at old_addr will have undefined contents.
- old_addr
- The address of the active region object to move.
- new_addr
- The location in memory to which the region is to be moved.
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
- No object was found at old_addr.
- NOT_REGION
- The object pointed to by old_addr is not a region object.
- INVALID_OBJECT
- The state of the region object has become invalid.
- OBJECT_EXISTS
- An object already exists at new_addr.
- NOT_ALIGNED
- new_addr is not properly aligned for a region object.