Symbol: check_hot_list
usr/src/cmd/krb5/krb5kdc/kdc_util.c
1295
if (check_hot_list(ticket)) {
usr/src/cmd/krb5/krb5kdc/kdc_util.h
49
krb5_error_code check_hot_list (krb5_ticket *);