krb5_ticket_get_server  261 source4/heimdal/kdc/digest.c 	ret = krb5_ticket_get_server(context, ticket, &principal);
krb5_ticket_get_server  351 source4/heimdal/kdc/kx509.c 	ret = krb5_ticket_get_server(context, ticket, &principal);