Floating point in kernel?

[Johannes Lundberg]

Hi

The new AMD graphics drivers use floats in kernel space.
Upstream Linux code has something like:
kernel_fpu_begin();
...
kernel_fpu_end();

Do we have similar functions to save/restore FPU registers?

Cheers