Signed-off-by: Mike Frysinger <vapier.adi@gmail.com>
Signed-off-by: Bryan Wu <cooloney@kernel.org>
                 * don't decode the address, since you don't know if this
                 * kernel's symbol map is the same as the crashing kernel
                 */
-               printk(KERN_INFO "Recovering from Double Fault event at %p\n", __retx);
+               printk(KERN_INFO "Recovering from Double Fault event at %pF\n", __retx);
        else if (_bfin_swrst & RESET_WDOG)
                printk(KERN_INFO "Recovering from Watchdog event\n");
        else if (_bfin_swrst & RESET_SOFTWARE)