x86: Replace print_symbol() with new %ps/%pS format
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 12 Nov 2013 10:10:35 +0000 (11:10 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 12 Nov 2013 10:10:35 +0000 (11:10 +0100)
commite6653f3a4b745ad1f3067eaa21467258bc7f8da7
tree61252276df188dece2d9861622f451c4df1bfceb
parent9f6c545af9d2f031b6a29905a2508fff9dce6c71
x86: Replace print_symbol() with new %ps/%pS format

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/irq.c
xen/arch/x86/time.c
xen/arch/x86/traps.c
xen/arch/x86/x86_64/traps.c