Searched refs:nfsrv_servertimer (Results 1 – 3 of 3) sorted by relevance
119 void nfsrv_servertimer(void);
3379 nfsd_call_servertimer = nfsrv_servertimer; in nfsd_modevent()
1064 nfsrv_servertimer(void) in nfsrv_servertimer() function