nfs_destroy_nfspagecache 2253 fs/nfs/inode.c 	nfs_destroy_nfspagecache();
nfs_destroy_nfspagecache 2274 fs/nfs/inode.c 	nfs_destroy_nfspagecache();
nfs_destroy_nfspagecache  233 fs/nfs/internal.h extern void nfs_destroy_nfspagecache(void);