CVS: cvs.openbsd.org: src

[Mike Larkin]

CVSROOT:        /cvs
Module name:    src
Changes by:     mlar...@cvs.openbsd.org 2015/11/13 23:15:37

Modified files:
        sys/arch/amd64/amd64: vmm.c 

Log message:
Fix a missing unlock.

>From Stefan Kempf sn.kempf at t-online.de