CVS: cvs.openbsd.org: src

[Mike Larkin]

CVSROOT:        /cvs
Module name:    src
Changes by:     mlar...@cvs.openbsd.org 2014/07/11 04:56:52

Modified files:
        sys/arch/amd64/amd64: ipifuncs.c 
        sys/arch/i386/i386: ipifuncs.c 

Log message:
Don't hold the kernel lock while halting a processor. Assert if we detect
this happening.

ok kettenis@, deraadt@