don't call verify_copy_pirq_routing_table() if it's not there.

Signed-off-by: Stefan Reinauer <stepan@coresystems.de>
Acked-by: Stefan Reinauer <stepan@coresystems.de>
git-svn-id: svn://svn.coreboot.org/coreboot/trunk@5137 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

diff --git a/src/arch/i386/boot/pirq_routing.c b/src/arch/i386/boot/pirq_routing.c
index 78e1dd1806d29a33fadd29c5ad92e250314677bd..963df5cd788292fb2a65fe2380cdd39d2ecaaf37 100644 (file)
--- a/src/arch/i386/boot/pirq_routing.c
+++ b/src/arch/i386/boot/pirq_routing.c
@@ -93,7 +93,9 @@ unsigned long copy_pirq_routing_table(unsigned long addr)
        printk_info("Copying Interrupt Routing Table to 0x%08lx... ", addr);
        memcpy((void *)addr, &intel_irq_routing_table, intel_irq_routing_table.size);
        printk_info("done.\n");
+#if CONFIG_DEBUG
        verify_copy_pirq_routing_table(addr);
+#endif
        pirq_routing_irqs(addr);
        return addr + intel_irq_routing_table.size;
 }