/* * Cache flush, a particular vnode; called when a vnode is renamed to * hide entries that would now be invalid */