return get_seconds() < grace_end; 
return in_grace; 
nfs4_in_grace(void){	return get_seconds() < grace_end;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a76b4319ca85b5e3a8098470c623a272d40271cd/nfs4state.c/clean/fs/nfsd/nfs4state.c