K 10 svn:author V 4 grog K 8 svn:date V 27 2002-01-27T04:20:52.000000Z K 7 svn:log V 126 vinumioctl: Fix a double fault caused by calling setjmp() without holding the config lock. The call was in fact superfluous. END