arm: Replace print_symbol() with new %ps/%pS format
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 12 Nov 2013 10:11:05 +0000 (11:11 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 12 Nov 2013 10:11:05 +0000 (11:11 +0100)
commitc30ff64f4e77e56a0be003f1a3447e2f93b7ad1b
treecff748c2c80ce337403926a3f2464be05d98b952
parente6653f3a4b745ad1f3067eaa21467258bc7f8da7
arm: Replace print_symbol() with new %ps/%pS format

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/arm/traps.c