Add some comments/prints
authorRonald G. Minnich <rminnich@google.com>
Mon, 3 Mar 2014 07:09:59 +0000 (23:09 -0800)
committerRonald G. Minnich <rminnich@google.com>
Mon, 3 Mar 2014 07:09:59 +0000 (23:09 -0800)
This is so Barret will figure out how to make the
ioapicintrinit
code work from ACPI :-)

Signed-off-by: Ronald G. Minnich <rminnich@google.com>
kern/arch/x86/ioapic.c
kern/arch/x86/trap.c

index d4d256a..2bf9530 100644 (file)
@@ -96,6 +96,15 @@ rdtlookup(struct apic *apic, int intin)
        return NULL;
 }
 
+/* busno is the source bus
+ * apic is the destination apic
+ * intin is the INTIN pin on the destination apic
+ * devno is the device number in the style of a PCI Interrupt
+ * Assignment Entry. Which is devno << 2? 
+ * lo is the vector table entry. We need to figure out how
+ * to compute this from acpi. We used to get it from the
+ * mptable but we would like to avoid that.
+ */
 void
 ioapicintrinit(int busno, int apicno, int intin, int devno, uint32_t lo)
 {
index bfa3bf4..3234e16 100644 (file)
@@ -592,6 +592,7 @@ int register_dev_irq(int irq, isr_t handler, void *irq_arg)
        /* TODO: this should be for any IOAPIC EOI, not just MPTABLES */
        /* Just sending to core 0 for now */
 #warning "NOT routing the ioapic irq"
+       printk("NOT ROUTING irq %d to core 0!\n", irq);
        //ioapic_route_irq(irq, 0);
 #else
        pic_unmask_irq(irq);