nfsd4_load_reboot_recovery_data(); 
nfs4_state_start(void){	int status;	if (nfs4_init)		return 0;	status = nfsd4_init_slabs();	if (status)		return status;	__nfs4_state_start();	nfs4_init = 1;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/190e4fbf96037e5e526ba3210f2bcc2a3b6fe964/nfs4state.c/buggy/fs/nfsd/nfs4state.c