kern/41251: veriexec locking seems broken

[yamt%mwd.biglobe.ne.jp@localhost]

>Number:         41251
>Category:       kern
>Synopsis:       veriexec locking seems broken
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Apr 20 01:10:00 +0000 2009
>Originator:     YAMAMOTO Takashi <yamt%mwd.biglobe.ne.jp@localhost>
>Release:        NetBSD 5.99.11
>Organization:

>Environment:
        
        
System: NetBSD kaeru 5.99.11
Architecture: i386
Machine: i386
>Description:
        locking seems broken in veriexec.

        - VERIEXEC_RW_UPGRADE is something unacceptable.
        - veriexec_fp_calc seems to be confused and mix vnode lock and
          veriexec_op_lock.
        - it traverses mountlist without locking.
>How-To-Repeat:
        code inspection.
>Fix:
        

>Unformatted: