Returns the current status of all 32 event flags in a local or
    common event flag cluster and indicates whether the specified
    event flag is set or clear.

    On Alpha and Integrity server systems, this service accepts 64-
    bit addresses.

    Format

      SYS$READEF  efn ,state

    C Prototype

      int sys$readef  (unsigned int efn, unsigned int *state);