* deinitialize event. Does nothing if the event is not initialized. There must not be * threads currently waiting for the event to be signaled.
See Implementation
* deinitialize event. Does nothing if the event is not initialized. There must not be * threads currently waiting for the event to be signaled.