#include "mpc85xx.h"
 
-#undef DEBUG
-
-#ifdef DEBUG
-#define DBG(fmt, args...) printk(KERN_ERR "%s: " fmt, __func__, ## args)
-#else
-#define DBG(fmt, args...)
-#endif
-
 #ifdef CONFIG_PPC_I8259
 static void mpc85xx_8259_cascade(struct irq_desc *desc)
 {
                return;
        }
 
-       DBG("mpc85xxds: cascade mapped to irq %d\n", cascade_irq);
+       pr_debug("mpc85xxds: cascade mapped to irq %d\n", cascade_irq);
 
        i8259_init(cascade_node, 0);
        of_node_put(cascade_node);
 
 
 #include "mpc85xx.h"
 
-#undef DEBUG
-
-#ifdef DEBUG
-#define DBG(fmt, args...) printk(KERN_ERR "%s: " fmt, __func__, ## args)
-#else
-#define DBG(fmt, args...)
-#endif
-
-
 void __init mpc85xx_rdb_pic_init(void)
 {
        struct mpic *mpic;