3 ms·
You may mix up with linux (which does not save the FPU state: that's why you can't use most floating point operations in the kernel).
by cdavid 15y ago
You may mix up with linux (which does not save the FPU state: that's why you can't use most floating point operations in the kernel).