6 uint64_t pending_count
;
8 void add_pending(uint64_t index
)
10 pending
[pending_count
++] = index
;
13 void clear_pending(void)
18 uint64_t capture(uint64_t index
)
20 if (slots
[index
].curr
== slots
[index
].next
)
23 slots
[index
].curr
= slots
[index
].next
;
27 uint64_t get_curr(uint64_t index
)
29 return slots
[index
].curr
;
32 uint64_t get_next(uint64_t index
)
34 return slots
[index
].next
;
37 void set(uint64_t index
, uint64_t value
)
39 slots
[index
].next
= value
;