nfs_timer        1071 nfs/nfs_subs.c 	timeout_set(&nfs_timer_to, nfs_timer, &nfs_timer_to);
nfs_timer        1072 nfs/nfs_subs.c 	nfs_timer(&nfs_timer_to);
nfs_timer         218 nfs/nfs_var.h  void nfs_timer(void *);