static void getTokenBatch(Capability *cap) {
while (cas((void *)&token_locked, FALSE, TRUE) == TRUE) { /* nothing */ }
max_commits += TOKEN_BATCH_SIZE;
static void getTokenBatch(Capability *cap) {
while (cas((void *)&token_locked, FALSE, TRUE) == TRUE) { /* nothing */ }
max_commits += TOKEN_BATCH_SIZE;
- TRACE("%p : cap got token batch, max_commits=%lld", cap, max_commits);
+ TRACE("%p : cap got token batch, max_commits=%" FMT_Int64, cap, max_commits);