Man pages matching name tpmlib_gettpmproperty in section 3:

TPMLIB_GetTPMProperty.3.en

debian 12 / libtpms-dev