diff options
author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2010-10-02 23:14:34 +0000 |
---|---|---|
committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2010-10-02 23:14:34 +0000 |
commit | 038262b0f4494f29379d28df360fcf91436e18cf (patch) | |
tree | 927fde0b485fd8bcb6b262b5bbe8fed39ae3119f /sys/arch/i386 | |
parent | e4c712a2cec00ef7458522288fab74ddd6a3abd6 (diff) |
Ensure the caches are wbinvd'd before we say that the cpu is not running
anymore.
ok kettenis
Diffstat (limited to 'sys/arch/i386')
-rw-r--r-- | sys/arch/i386/i386/ipifuncs.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/arch/i386/i386/ipifuncs.c b/sys/arch/i386/i386/ipifuncs.c index 064b3ffa242..e778070b83d 100644 --- a/sys/arch/i386/i386/ipifuncs.c +++ b/sys/arch/i386/i386/ipifuncs.c @@ -1,4 +1,4 @@ -/* $OpenBSD: ipifuncs.c,v 1.18 2010/07/21 14:08:09 kettenis Exp $ */ +/* $OpenBSD: ipifuncs.c,v 1.19 2010/10/02 23:14:33 deraadt Exp $ */ /* $NetBSD: ipifuncs.c,v 1.1.2.3 2000/06/26 02:04:06 sommerfeld Exp $ */ /*- @@ -102,6 +102,7 @@ i386_ipi_halt(struct cpu_info *ci) { SCHED_ASSERT_UNLOCKED(); disable_intr(); + wbinvd(); ci->ci_flags &= ~CPUF_RUNNING; wbinvd(); |