Copyright Digital Equipment Corp. All rights reserved.
EVENT_CLUSTER_NAME=(event-flag-cluster-name,...) Specifies the name of the event flag cluster.