| SpecSim Programmer Manual |
typedef void* DeEvent an opaque data type
DeEvent represents events. They serves as the synchronization points between thread executions. A thread can wait on an event, whose execution will be blocked until the event is notified.
generated by doc++