update_servinfo4
update_servinfo4(svp, fsp, &nfsfsloc, orig_path, nth);
static void update_servinfo4(servinfo4_t *, fs_location4 *,