Hi, The current code confuses "lock_state" for something that it isn't. I discussed this a while ago with hannken@ and blymn@ and came up with the attached patch. We change the semantics to require locking and add a KASSERT to make sure they're followed. Missing locking bits are added in two places to comply. I'm not seeking feedback on this one as there's more Veriexec locking work pending. It's posted merely for the chance that someone might want this in netbsd-6. Elad
Attachment:
veriexec_lock_state.diff
Description: Binary data