bouyer 5a3b0bf2c9 npxdna(): even if there's no effective FPU context switch set ci_fpused;
FPU will be used and needs to be switched on next context switch.
Fix "panic: npxintr: wrong process" with Xen.
2008-11-25 21:53:50 +00:00
..