serverkey         660 source4/heimdal/kdc/krb5tgs.c 	       const EncryptionKey *serverkey,
serverkey         911 source4/heimdal/kdc/krb5tgs.c 			    serverkey, 0, &tgt->key, e_text, reply);