server_ex 776 source4/heimdal/kdc/kerberos5.c hdb_entry_ex *server_ex, const char *server_name, server_ex 816 source4/heimdal/kdc/kerberos5.c && (server_ex == NULL || !server_ex->entry.flags.change_pw)) { server_ex 829 source4/heimdal/kdc/kerberos5.c if (server_ex != NULL) { server_ex 830 source4/heimdal/kdc/kerberos5.c hdb_entry *server = &server_ex->entry;