diff options
| -rw-r--r-- | kern/llsync.c | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/kern/llsync.c b/kern/llsync.c index f6862da7..909b2661 100644 --- a/kern/llsync.c +++ b/kern/llsync.c @@ -208,6 +208,23 @@ llsync_process_global_checkpoint(unsigned int cpu) llsync_wakeup_worker(); } +static void +llsync_commit_checkpoint_common(unsigned int cpu) +{ + int pending; + + pending = bitmap_test(llsync_pending_checkpoints, cpu); + + if (!pending) + return; + + bitmap_clear(llsync_pending_checkpoints, cpu); + llsync_nr_pending_checkpoints--; + + if (llsync_nr_pending_checkpoints == 0) + llsync_process_global_checkpoint(cpu); +} + void llsync_register_cpu(unsigned int cpu) { @@ -231,23 +248,6 @@ llsync_register_cpu(unsigned int cpu) spinlock_unlock_intr_restore(&llsync_lock, flags); } -static void -llsync_commit_checkpoint_common(unsigned int cpu) -{ - int pending; - - pending = bitmap_test(llsync_pending_checkpoints, cpu); - - if (!pending) - return; - - bitmap_clear(llsync_pending_checkpoints, cpu); - llsync_nr_pending_checkpoints--; - - if (llsync_nr_pending_checkpoints == 0) - llsync_process_global_checkpoint(cpu); -} - void llsync_unregister_cpu(unsigned int cpu) { |