X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/kernel/fiasco/src/kern/timeout.cpp

diff --git a/kernel/fiasco/src/kern/timeout.cpp b/kernel/fiasco/src/kern/timeout.cpp
index cacd8dc48..dc9cb8ad9 100644
--- a/kernel/fiasco/src/kern/timeout.cpp
+++ b/kernel/fiasco/src/kern/timeout.cpp
@@ -190,7 +190,7 @@ void
 Timeout::set(Unsigned64 clock, unsigned cpu)
 {
   // XXX uses global kernel lock
-  Lock_guard<Cpu_lock> guard (&cpu_lock);
+  auto guard = lock_guard(cpu_lock);
 
   assert (!is_set());
 
@@ -214,7 +214,7 @@ void
 Timeout::set_again(unsigned cpu)
 {
   // XXX uses global kernel lock
-  Lock_guard<Cpu_lock> guard (&cpu_lock);
+  auto guard = lock_guard(cpu_lock);
 
   assert(! is_set());
   if (has_hit())