Man pages matching name fpu_kern in section 9: