FPU_KERN_FREE_CTX(9FREEBSD) - Linux manual page online | System kernel interfaces

Facility to use the FPU in the kernel.