/* * Lookup a vnode by device number and return it referenced. */