diff options
author | neel <neel@FreeBSD.org> | 2013-01-09 03:32:23 +0000 |
---|---|---|
committer | neel <neel@FreeBSD.org> | 2013-01-09 03:32:23 +0000 |
commit | 4c17637f9cfd75b0ebb0474d3f2f39483a453913 (patch) | |
tree | b87e2cc827363f6708512c09e679a082987a5434 /sys/amd64 | |
parent | 81ba473dd71550d4823c0578bcf7b6fe0a0d131b (diff) | |
download | FreeBSD-src-4c17637f9cfd75b0ebb0474d3f2f39483a453913.zip FreeBSD-src-4c17637f9cfd75b0ebb0474d3f2f39483a453913.tar.gz |
IFC @ r245205
Diffstat (limited to 'sys/amd64')
-rw-r--r-- | sys/amd64/amd64/vm_machdep.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/sys/amd64/amd64/vm_machdep.c b/sys/amd64/amd64/vm_machdep.c index a40eaba..9883715 100644 --- a/sys/amd64/amd64/vm_machdep.c +++ b/sys/amd64/amd64/vm_machdep.c @@ -574,10 +574,9 @@ cpu_reset_proxy() cpuset_t tcrp; cpu_reset_proxy_active = 1; - while (cpu_reset_proxy_active == 1) { - ia32_pause(); - ; /* Wait for other cpu to see that we've started */ - } + while (cpu_reset_proxy_active == 1) + ia32_pause(); /* Wait for other cpu to see that we've started */ + CPU_SETOF(cpu_reset_proxyid, &tcrp); stop_cpus(tcrp); printf("cpu_reset_proxy: Stopped CPU %d\n", cpu_reset_proxyid); |