ARM: fix some printk formats
authorRussell King <rmk+kernel@arm.linux.org.uk>
Sun, 19 Oct 2014 21:42:42 +0000 (22:42 +0100)
committerRussell King <rmk+kernel@arm.linux.org.uk>
Tue, 21 Oct 2014 15:47:48 +0000 (16:47 +0100)
commit178c3dfe853a18391b029e6b62e1eed22be1871e
tree9538072e54c1b16d8169e11b2d0890af8523a99c
parent7fc150543c73de71859631c8a6b17e3067fe7617
ARM: fix some printk formats

GCC 4.9 complains if we take the difference of two pointers, and it's
printed with "%d".  Fix this by using the proper flag - "t" for
ptrdiff_t.

Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
arch/arm/mm/init.c