Add placeholder handling to devgen.
authorGodfrey van der Linden <gvdl@google.com>
Sat, 14 Feb 2015 02:31:32 +0000 (18:31 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 16 Feb 2015 15:10:26 +0000 (10:10 -0500)
commitfaac45109b1abca785044dd1ebd55974e85868cb
treecc4cc2f6baac92b43e6ef63539cfbba869063008
parentad30f37ae2d07b186dd37e7cd52d643c1fa2d24a
Add placeholder handling to devgen.

The current devgen assumes that the dirtab is static, which until now it
has been. However, the gen functions are allowed to return 0 if the
entry exists for that 's' but shouldn't be active.

Overload dirtab->qid.vers to indicate if the dirtab entry is inactive
and return 0 if vers == -1.
kern/src/ns/dev.c