Symbol: nfs_timer_srvfini
sys/nfs/nfs_serv.c
143
nfs_timer_srvfini();
sys/nfs/nfs_var.h
184
void nfs_timer_srvfini(void);