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);