k5_buf_add_uint32_be
k5_buf_add_uint32_be(&buf, GSS_EXTS_FINISHED);
k5_buf_add_uint32_be(&buf, finished->length);
k5_buf_add_uint32_be(&buf, mech_token.length);
k5_buf_add_uint32_be(&buf, public_oid->length);
k5_buf_add_uint32_be(&buf, dispName.length);
k5_buf_add_uint32_be(buf, os_ctx->time_offset);
k5_buf_add_uint32_be(buf, os_ctx->usec_offset);
k5_buf_add_uint32_be(&req.reqbuf, map_tcflags(flags));
k5_buf_add_uint32_be(&req.reqbuf, offset);
k5_buf_add_uint32_be(&req.reqbuf, ncreds);
k5_buf_add_uint32_be(&req.reqbuf, 0);
k5_buf_add_uint32_be(&req.reqbuf, context->os_context.time_offset);
k5_buf_add_uint32_be(&req.reqbuf, map_tcflags(flags) | KCM_GC_CACHED);
k5_buf_add_uint32_be(buf, data->length);
k5_buf_add_uint32_be(&buf, group);