Symbol: krb5_profile_get_options
usr/src/cmd/cmd-inet/usr.bin/telnet/commands.c
3115
krb5_profile_get_options(hostname, telnet_krb5_realm,
usr/src/cmd/cmd-inet/usr.bin/telnet/commands.c
62
extern void krb5_profile_get_options(char *, char *,