]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/timeout.cpp
update
[l4.git] / kernel / fiasco / src / kern / timeout.cpp
index cacd8dc48c7870f101a47143c4410e162eaf23fb..dc9cb8ad941cc0f7149939e32ab7234732cb4ac3 100644 (file)
@@ -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())