nfs_destroy_nfspagecache 1363 fs/nfs/inode.c 	nfs_destroy_nfspagecache();
nfs_destroy_nfspagecache 1378 fs/nfs/inode.c 	nfs_destroy_nfspagecache();
nfs_destroy_nfspagecache  113 fs/nfs/internal.h extern void nfs_destroy_nfspagecache(void);