gssint_uint64
gss_int32 g_order_init (void **queue, gssint_uint64 seqnum,
gss_int32 g_order_check (void **queue, gssint_uint64 seqnum);
gssint_uint64 seq_send;
gssint_uint64 seq_recv;
gssint_uint64 *seqnum,
gssint_uint64 seqnum;
retval = g_order_check(&(ctx->seqstate), (gssint_uint64)seqnum);
queue_insert(queue *q, int after, gssint_uint64 seqnum)
g_order_init(void **vqueue, gssint_uint64 seqnum,
q->mask = wide_nums ? ~(gssint_uint64)0 : 0xffffffffUL;
q->elem[q->start] = ((gssint_uint64)0 - 1) & q->mask;
g_order_check(void **vqueue, gssint_uint64 seqnum)
gssint_uint64 expected;
gssint_uint64 firstnum;
gssint_uint64 elem[QUEUE_LENGTH];
gssint_uint64 mask;
after(gssint_uint64 n1, gssint_uint64 n2, gssint_uint64 mask)
gssint_uint64 diff;
gssint_uint64 half;