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;