carta

gnutls_tpm_get_registered(3) on Linux

The text 8f1f318afb14, as Debian 11 (Bullseye) shipped it.

API function

gnutls_tpm_get_registered(3) on Linux now