gss_cfx_mic_token  699 source4/heimdal/lib/gssapi/krb5/cfx.c     gss_cfx_mic_token token;
gss_cfx_mic_token  723 source4/heimdal/lib/gssapi/krb5/cfx.c     token = (gss_cfx_mic_token)(buf + message_buffer->length);
gss_cfx_mic_token  791 source4/heimdal/lib/gssapi/krb5/cfx.c     gss_cfx_mic_token token;
gss_cfx_mic_token  807 source4/heimdal/lib/gssapi/krb5/cfx.c     token = (gss_cfx_mic_token)p;