process_mic
process_mic(OM_uint32 *, gss_buffer_t, spnego_gss_ctx_id_t,
ret = process_mic(minor_status, mic_in, sc, mic_out,