Man pages matching name tspi_tpm_cmkcreateticket in section 3: