encode_rx_header  212 source4/heimdal/kdc/kaserver.c     ret = encode_rx_header (&reply_hdr, sp);
encode_rx_header  383 source4/heimdal/kdc/kaserver.c     ret = encode_rx_header (&reply_hdr, sp);