nfs_destroy_writepagecache 1357 fs/nfs/inode.c 	nfs_destroy_writepagecache();
nfs_destroy_writepagecache 1375 fs/nfs/inode.c 	nfs_destroy_writepagecache();
nfs_destroy_writepagecache  117 fs/nfs/internal.h extern void nfs_destroy_writepagecache(void);