/* * Convert between nfsnode pointers and vnode pointers */