old_vfsid         670 lib/vfs/interface.c     vfsid old_vfsid;
old_vfsid         707 lib/vfs/interface.c     old_vfsid = vfs_getid (vfs_get_raw_current_dir ());
old_vfsid         715 lib/vfs/interface.c     vfs_stamp_create (old_vfs, old_vfsid);