gnutls_psk_allocate_server_credentials(3) on Linux

The text 4a1c4b2ea910, as Arch Linux 2026-11-01 shipped it. The page shows this text now.

API function