nfs4_chkdup_servinfo4
if (nfs4_chkdup_servinfo4(svp_head, svp)) {
static int nfs4_chkdup_servinfo4(servinfo4_t *, servinfo4_t *);