K 10 svn:author V 3 phk K 8 svn:date V 27 2004-12-02T10:09:33.000000Z K 7 svn:log V 68 Remove the de_devvp and stop VREF'ing it for every vnode we create. END