Changes in kernel/arch/ia32/src/smp/apic.c [24abb85d:0f17bff] 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>
@@ -47 +46 @@
 #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;
@@ -491 +492 @@
         
         /* Program Logical Destination Register. */
-        assert(CPU->id < 8);
+        ASSERT(CPU->id < 8);
         ldr_t ldr;