tree 96fe88cef925e6d0cc612d92aadb188449b3ae76
parent 71a844453735d93c389969f6b781673654936029
author Dan Handley <dan.handley@arm.com> 1427134413 +0000
committer Dan Handley <dan.handley@arm.com> 1430154306 +0100

Fix type mismatches in verbose logging

Commit dad2504 adds support for type checking in printf-like
functions. Some of the VERBOSE logging statements were not updated
at that time.

Fix the type mismatches in the verbose logging statements.

Change-Id: Idd9a49e41cc0dc31f7698e220819d934e3d2d10e