bm_buffer_get64
bm_buffer_set64(r->bufs, bm_buffer_get64(bufs));
if ((bm_buffer_get64(a) & BMAN_TOKEN_MASK) <
(bm_buffer_get64(b) & BMAN_TOKEN_MASK))
if ((bm_buffer_get64(a) & BMAN_TOKEN_MASK) >
(bm_buffer_get64(b) & BMAN_TOKEN_MASK))
if (bm_buffer_get64(a) < bm_buffer_get64(b))
if (bm_buffer_get64(a) > bm_buffer_get64(b))