As Myles suggested a while back: Switch long time #warnings to be comments
[coreboot.git] / src / mainboard / newisys / khepri / mptable.c
index 4dd106c6ea2dc33ea66f7e5d3e94bd8886d416df..47aac77db20a43413f2bb6abf40c7660e05d3034 100644 (file)
@@ -187,7 +187,7 @@ static void *smp_write_config_table(void *v)
                bus_8131_1, (2<<2)|3, 0x02, 0x11);
 
        /* PCI Slot 5 */
-#warning "FIXME get the irqs right, it's just hacked to work for now"
+       // FIXME get the irqs right, it's just hacked to work for now
        smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_DEFAULT|MP_IRQ_POLARITY_DEFAULT,
                bus_8111_1, (5<<2)|0, 0x02, 0x11);
        smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_DEFAULT|MP_IRQ_POLARITY_DEFAULT,
@@ -198,7 +198,7 @@ static void *smp_write_config_table(void *v)
                bus_8111_1, (5<<2)|3, 0x02, 0x10);
 
        /* PCI Slot 6 */
-#warning "FIXME get the irqs right, it's just hacked to work for now"
+       // FIXME get the irqs right, it's just hacked to work for now
        smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_DEFAULT|MP_IRQ_POLARITY_DEFAULT,
                bus_8111_1, (4<<2)|0, 0x02, 0x10);
        smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_DEFAULT|MP_IRQ_POLARITY_DEFAULT,