update

[l4.git] / kernel / fiasco / src / kern / ia32 / timer-pit.cpp

diff --git a/kernel/fiasco/src/kern/ia32/timer-pit.cpp b/kernel/fiasco/src/kern/ia32/timer-pit.cpp
index 55217b36a23fb1218117ee9bf162de1a34dd3953..6b05ec1907a2f3a1d7f85537c961ffa3d1de7d0f 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/timer-pit.cpp
+++ b/kernel/fiasco/src/kern/ia32/timer-pit.cpp
@@ -7,7 +7,7 @@ IMPLEMENTATION[{ia32,amd64}-pit_timer]:
 
 IMPLEMENT
 void
-Timer::init(unsigned)
+Timer::init(Cpu_number)
 {
   printf("Using the PIT (i8254) on IRQ %d for scheduling\n", irq());