update

[l4.git] / kernel / fiasco / src / kern / ia32 / irq_msi.cpp

diff --git a/kernel/fiasco/src/kern/ia32/irq_msi.cpp b/kernel/fiasco/src/kern/ia32/irq_msi.cpp
index b9cc8a99036571d89e1726d92074875d0dd05d10..4372efc6ca23ed07eca58b28b728a6586feebebb 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/irq_msi.cpp
+++ b/kernel/fiasco/src/kern/ia32/irq_msi.cpp
@@ -62,7 +62,7 @@ Irq_chip_msi::set_mode(Mword, unsigned)
 { return Irq_base::Trigger_edge | Irq_base::Polarity_low; }
 
 PUBLIC void
-Irq_chip_msi::set_cpu(Mword, unsigned)
+Irq_chip_msi::set_cpu(Mword, Cpu_number)
 {}
 
 PUBLIC void