Synopsis: veriexecctl(8) fails with "Ioctl failed with error `Bad address' on file [...]" State-Changed-From-To: open->closed State-Changed-By: wiz@netbsd.org State-Changed-When: Fri, 17 Jun 2005 14:00:12 +0000 State-Changed-Why: Submitter reports problem is fixed.