Kernel: Make TimerId a distinct type

Well, that was easy\! :^)
luteresa · Mar 2, 2021 · 65b36e4 · 65b36e4
1 parent 94e0a60
commit 65b36e4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Kernel/TimerQueue.cpp b/Kernel/TimerQueue.cpp
@@ -104,7 +104,7 @@ TimerId TimerQueue::add_timer(NonnullRefPtr<Timer>&& timer)
  timer->m_id = ++m_timer_id_count;
  VERIFY(timer->m_id != 0); // wrapped
  add_timer_locked(move(timer));
- return m_timer_id_count;
+ return timer->m_id;
 }
 
 void TimerQueue::add_timer_locked(NonnullRefPtr<Timer> timer)

diff --git a/Kernel/TimerQueue.h b/Kernel/TimerQueue.h
@@ -36,7 +36,7 @@
 
 namespace Kernel {
 
-typedef u64 TimerId;
+TYPEDEF_DISTINCT_ORDERED_ID(u64, TimerId);
 
 class Timer : public RefCounted<Timer>
  , public InlineLinkedListNode<Timer> {