X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/013297c0d65e3dab85bb75c5a104babaebedd230..56a09572268504317eb2885b827f9c4378071a7c:/kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp

diff --git a/kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp b/kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp
index 90d921881..100d229a1 100644
--- a/kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp
+++ b/kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp
@@ -15,7 +15,7 @@ IMPLEMENTATION [sparc]:
 
 IMPLEMENT inline NEEDS ["decrementer.h", "kip.h", "config.h", <cstdio>]
 void
-Timer::init(unsigned)
+Timer::init(Cpu_number)
 {
   printf("Using PowerPC decrementer for scheduling\n");
 
@@ -70,9 +70,9 @@ Timer::system_clock()
 
 IMPLEMENT inline NEEDS ["decrementer.h", "config.h", "kip.h"]
 void
-Timer::update_system_clock(unsigned cpu)
+Timer::update_system_clock(Cpu_number cpu)
 {
-  if (cpu == 0)
+  if (cpu == Cpu_number::boot_cpu())
     {
       Decrementer::d()->set();
       Kip::k()->clock += Config::Scheduler_granularity;