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

Facility to use the FPU in the kernel.