vncache_renamed
vncache_renamed(vp, to_dvp, to_name);
void vncache_renamed(vnode_t *, vnode_t *, char *);