CVS: cvs.openbsd.org: src

[Theo de Raadt]

CVSROOT:        /cvs
Module name:    src
Changes by:     dera...@cvs.openbsd.org 2010/10/02 17:14:33

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

Log message:
Ensure the caches are wbinvd'd before we say that the cpu is not running
anymore.
ok kettenis