extfs_close      1538 src/vfs/extfs/extfs.c         extfs_close ((void *) fh);
extfs_close      1543 src/vfs/extfs/extfs.c     extfs_close ((void *) fh);
extfs_close      1563 src/vfs/extfs/extfs.c         extfs_close ((void *) fh);
extfs_close      1569 src/vfs/extfs/extfs.c         extfs_close ((void *) fh);
extfs_close      1738 src/vfs/extfs/extfs.c     vfs_extfs_ops->close = extfs_close;