update

[l4.git] / kernel / fiasco / src / kern / pic-i8259.cpp

diff --git a/kernel/fiasco/src/kern/pic-i8259.cpp b/kernel/fiasco/src/kern/pic-i8259.cpp
index b168041001e96da0b9ded8d3969e4c212bfbc3fa..e68662e8e928e8c8c2f92283196d41b27660fc59 100644 (file)
--- a/kernel/fiasco/src/kern/pic-i8259.cpp
+++ b/kernel/fiasco/src/kern/pic-i8259.cpp
@@ -348,8 +348,8 @@ Pic::restore_all( Status s )
 
 IMPLEMENT inline NEEDS[<cassert>]
 void
-Pic::set_cpu(unsigned, unsigned cpu)
+Pic::set_cpu(unsigned, Cpu_number cpu)
 {
   (void)cpu;
-  assert(cpu == 0);
+  assert(cpu == Cpu_number::boot_cpu());
 }