Man pages matching name fpu_kern_thread in section 9: