nfs4_add_mi_to_server
nfs4_add_mi_to_server(np, mi);
nfs4_add_mi_to_server(np, mi);
nfs4_add_mi_to_server(np, mi);
nfs4_add_mi_to_server(np, mi);
extern void nfs4_add_mi_to_server(nfs4_server_t *, mntinfo4_t *);