nfs4_mark_srv_dead
nfs4_mark_srv_dead(np);
nfs4_mark_srv_dead(sp);
extern void nfs4_mark_srv_dead(nfs4_server_t *);