gnutls_psk_set_server_credentials_function(3) on Linux

The text 15a9e7fe84b0, as Debian 6.0 (Squeeze) shipped it.

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