* citi-tr-01-3.
*/
#endif
+ if (vType(avc) == VDIR) {
+ /* not applicable to directories; they're never mapped or stored in
+ * pages */
+ return;
+ }
ObtainReadLock(&avc->lock);
/* If we've already purged this version, or if we're the ones
* writing this version, don't flush it (could lose the