FPU_KERN_ENTER(9FREEBSD) - manual page | System kernel interfaces

Facility to use the FPU in the kernel.