Observed behavior shows that this is not the case: the x87 state is saved and restored, except for kernel mode-only threads (a limitation that exists in the 32-bit version as well).
Посматрано понашање показује да ово није случај: к87 стање се чува и врати, осим за kernel-mode-only thread-ове (ограничење које постоји и у 32-битној верзији).