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

Facility to use the FPU in the kernel.