nfs4_event_type_t
nfs4_event_type_t et;
id_to_dump_queue(nfs4_event_type_t id)
id_to_dump_solo_event(nfs4_event_type_t id)
nfs4_queue_event(nfs4_event_type_t id, mntinfo4_t *mi, char *server1,
set_event(nfs4_event_type_t id, nfs4_revent_t *ep, mntinfo4_t *mi,
extern void nfs4_queue_event(nfs4_event_type_t, mntinfo4_t *, char *,
nfs4_event_type_t re_type;