alpha: Convert print_symbol to %pSR
authorJoe Perches <joe@perches.com>
Wed, 12 Dec 2012 18:18:51 +0000 (10:18 -0800)
committerMatt Turner <mattst88@gmail.com>
Fri, 19 Jul 2013 20:53:03 +0000 (13:53 -0700)
Use the new vsprintf extension to avoid any possible
message interleaving.

Reviewed-by: Matt Turner <mattst88@gmail.com>
Signed-off-by: Matt Turner <mattst88@gmail.com>
Signed-off-by: Joe Perches <joe@perches.com>

No differences found