some things (e.g. unionfs) may depend on it. It's currently ok for vnodecovered to be set already; it's not for v_mountedhere in the vnode, though. From John Darrow. XXX should probably just extend VFS_MOUNT to take the vnode pointer as an argument.