*  Copyright (C) 1999 - 2003 ARM Limited
  *  Copyright (C) 2000 Deep Blue Solutions Ltd
  */
+
+#define pr_fmt(fmt)    KBUILD_MODNAME ": " fmt
+
 #include <linux/clk.h>
 #include <linux/clocksource.h>
 #include <linux/clockchips.h>
        if (!clk)
                clk = clk_get_sys("sp804", name);
        if (IS_ERR(clk)) {
-               pr_err("sp804: %s clock not found: %ld\n", name, PTR_ERR(clk));
+               pr_err("%s clock not found: %ld\n", name, PTR_ERR(clk));
                return PTR_ERR(clk);
        }
 
        err = clk_prepare_enable(clk);
        if (err) {
-               pr_err("sp804: clock failed to enable: %d\n", err);
+               pr_err("clock failed to enable: %d\n", err);
                clk_put(clk);
                return err;
        }
 
        if (request_irq(irq, sp804_timer_interrupt, IRQF_TIMER | IRQF_IRQPOLL,
                        "timer", &sp804_clockevent))
-               pr_err("%s: request_irq() failed\n", "timer");
+               pr_err("request_irq() failed\n");
        clockevents_config_and_register(evt, rate, 0xf, 0xffffffff);
 
        return 0;
        if (of_clk_get_parent_count(np) == 3) {
                clk2 = of_clk_get(np, 1);
                if (IS_ERR(clk2)) {
-                       pr_err("sp804: %pOFn clock not found: %d\n", np,
+                       pr_err("%pOFn clock not found: %d\n", np,
                                (int)PTR_ERR(clk2));
                        clk2 = NULL;
                }