server_principal  665 source4/heimdal/kdc/krb5tgs.c 	       krb5_principal server_principal,
server_principal  734 source4/heimdal/kdc/krb5tgs.c     copy_Realm(krb5_princ_realm(context, server_principal),
server_principal  736 source4/heimdal/kdc/krb5tgs.c     _krb5_principal2principalname(&rep.ticket.sname, server_principal);