Man pages matching name kern_testfrwk in section 9: