Make sure that the FPU IPIs shoot down the right FPU context and not the FPU
authorkettenis <kettenis@openbsd.org>
Wed, 21 Jul 2010 14:08:09 +0000 (14:08 +0000)
committerkettenis <kettenis@openbsd.org>
Wed, 21 Jul 2010 14:08:09 +0000 (14:08 +0000)
commitd0cd85e7c5795d41c8940ea1153a85d381dbc01d
tree03ac5e4f331691191e1c7633c3441d5fc20c63d0
parent95d74b5f332b0012dd590b458184bba2fbf2259b
Make sure that the FPU IPIs shoot down the right FPU context and not the FPU
context of some random process that happened to be switched onto the FPU
after the decision was made to send the IPI.
sys/arch/amd64/amd64/fpu.c
sys/arch/amd64/amd64/ipifuncs.c
sys/arch/amd64/include/cpu.h
sys/arch/i386/i386/ipifuncs.c
sys/arch/i386/include/cpu.h
sys/arch/i386/isa/npx.c