gnutls_psk_set_server_credentials_function(3) on Linux

The text 411d0dae7ca4, as Debian 4.0 (Etch) shipped it.

Used to set a callback to retrieve the user's PSK credentials