Changes in kernel/genarch/src/acpi/madt.c [e2793a4:96b02eb9] in mainline

File:

• kernel/genarch/src/acpi/madt.c (modified) (2 diffs)

kernel/genarch/src/acpi/madt.c

@@ -116 +116 @@
 static int madt_irq_to_pin(unsigned int irq)
 {
-        if (irq >= sizeof(isa_irq_map) / sizeof(int))
-                return (int) irq;
+        ASSERT(irq < sizeof(isa_irq_map) / sizeof(int));
         
         return isa_irq_map[irq];
@@ -179 +178 @@
         ASSERT(override->source < sizeof(isa_irq_map) / sizeof(int));
         
-        isa_irq_map[override->source] = override->global_int;
+        printf("MADT: Ignoring %s entry: bus=%" PRIu8 ", source=%" PRIu8
+            ", global_int=%" PRIu32 ", flags=%#" PRIx16 "\n",
+            entry[override->header.type], override->bus, override->source,
+            override->global_int, override->flags);
 }