705 process_gssapi_token(void *ctxt, gss_buffer_t recv_tok)  in process_gssapi_token()  argument
716 	    recv_tok, &send_tok, &flags);  in process_gssapi_token()
804 	gss_buffer_desc recv_tok;  in input_gssapi_token()  local
811 	recv_tok.value = packet_get_string(&slen);  in input_gssapi_token()
812 	recv_tok.length = slen;	/* safe typecast */  in input_gssapi_token()
816 	status = process_gssapi_token(ctxt, &recv_tok);  in input_gssapi_token()
818 	free(recv_tok.value);  in input_gssapi_token()
835 	gss_buffer_desc recv_tok;  in input_gssapi_errtok()  local
843 	recv_tok.value = packet_get_string(&len);  in input_gssapi_errtok()
844 	recv_tok.length = len;  in input_gssapi_errtok()
850 	    &recv_tok, &send_tok, NULL);  in input_gssapi_errtok()
852 	free(recv_tok.value);  in input_gssapi_errtok()