nfs_destroy_readpagecache 1359 fs/nfs/inode.c 	nfs_destroy_readpagecache();
nfs_destroy_readpagecache 1376 fs/nfs/inode.c 	nfs_destroy_readpagecache();
nfs_destroy_readpagecache  115 fs/nfs/internal.h extern void nfs_destroy_readpagecache(void);