void fluke_port_destroy(fluke_port_t *port);
Destroys an active port created with fluke_port_create. All outstanding references to the port become invalid. All pending and future IPC operations targeting the port will return FLUKE_INVALID_DEST.
- port
- The port 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
- port does not point to an active object.
- NOT_PORT
- The object pointed to by port is not a port object.
- INVALID_OBJECT
- The state of the port object has become invalid.
fluke_port_create