/* Routines having to do with the management of the vnode table. */