string_name        81 source4/heimdal/lib/krb5/replay.c 		     const char *string_name)
string_name        87 source4/heimdal/lib/krb5/replay.c     if(strncmp(string_name, "FILE:", 5)) {
string_name        90 source4/heimdal/lib/krb5/replay.c 			       string_name);
string_name        96 source4/heimdal/lib/krb5/replay.c     ret = krb5_rc_resolve(context, *id, string_name + 5);