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

Facility to use the FPU in the kernel.