X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/013297c0d65e3dab85bb75c5a104babaebedd230..56a09572268504317eb2885b827f9c4378071a7c:/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 b16804100..e68662e8e 100644
--- 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());
 }