common/symbols: Remove print_symbol() and associated infrastructure
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 12 Nov 2013 10:11:30 +0000 (11:11 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 12 Nov 2013 10:11:30 +0000 (11:11 +0100)
commit365beafb63c3f9696ef32640b84a414a4c824e94
tree323f84b9812197396d5bcb1da4d02e342814a680
parentc30ff64f4e77e56a0be003f1a3447e2f93b7ad1b
common/symbols: Remove print_symbol() and associated infrastructure

Also adjust the one common user of print_symbol() to use the new printk()
format.  While adjusting the format string, increase the width so a
long-to-expire plt_overflow() timer doesn't break the column alignment.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/common/symbols.c
xen/common/timer.c
xen/include/xen/symbols.h