Changes in kernel/arch/ia32/src/smp/apic.c [0f17bff:24abb85d] in mainline

File:

• kernel/arch/ia32/src/smp/apic.c (modified) (4 diffs)

kernel/arch/ia32/src/smp/apic.c

@@ -38 +38 @@
 #include <arch/smp/mps.h>
 #include <arch/boot/boot.h>
+#include <assert.h>
 #include <mm/page.h>
 #include <time/delay.h>
@@ -46 +47 @@
 #include <arch.h>
 #include <ddi/irq.h>
-#include <ddi/device.h>
 
 #ifdef CONFIG_SMP
@@ -189 +189 @@
         irq_initialize(&l_apic_timer_irq);
         l_apic_timer_irq.preack = true;
-        l_apic_timer_irq.devno = device_assign_devno();
         l_apic_timer_irq.inr = IRQ_CLK;
         l_apic_timer_irq.claim = l_apic_timer_claim;
@@ -492 +491 @@
         
         /* Program Logical Destination Register. */
-        ASSERT(CPU->id < 8);
+        assert(CPU->id < 8);
         ldr_t ldr;