K 10 svn:author V 4 grog K 8 svn:date V 27 2002-01-28T02:38:33.000000Z K 7 svn:log V 518 MFC: vinumioctl: Fix a double fault caused by calling setjmp() without holding the config lock. The call was in fact superfluous. throw_rude_remark: Make sure we're holding the config lock before proceeding. There's no reason to assume that this has ever happened, but the alternative might be a double fault. Dump analysis by: Thomas Moestl Tested by: Martin Blapp Approved by: re END