7 extern state_t slots
[%d
];
8 extern uint64_t pending
[%d
];
9 extern uint64_t pending_count
;
11 void add_pending(uint64_t index
);
12 void clear_pending(void);
14 uint64_t capture(uint64_t index
);
15 uint64_t get_curr(uint64_t index
);
16 uint64_t get_next(uint64_t index
);
17 void set(uint64_t index
, uint64_t value
);