Symbol: ssh_krl_revoke_key