X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/67d10e76e1e5d38d6624679c59e192ee897de76f..615241fa4695499799cebfd8a6dc8d90f3a93f13:/kernel/fiasco/src/kern/io_apic.cpp

diff --git a/kernel/fiasco/src/kern/io_apic.cpp b/kernel/fiasco/src/kern/io_apic.cpp
index 024c48a8b..c72b81667 100644
--- a/kernel/fiasco/src/kern/io_apic.cpp
+++ b/kernel/fiasco/src/kern/io_apic.cpp
@@ -200,6 +200,9 @@ PUBLIC static
 unsigned
 Io_apic::legacy_override(unsigned i)
 {
+  if (!_madt)
+    return i;
+
   unsigned tmp = 0;
   for (;;++tmp)
     {