Man pages matching name tpm_io_tpmestablished_get in section 3:

TPM_IO_TpmEstablished_Get.3.en

debian 12 / libtpms-dev