[PATCH v2 19/20] ARM: LPAE: define printk format for physical addresses and page table entries

[Russell King - ARM Linux]

On Fri, Nov 12, 2010 at 06:00:39PM +0000, Catalin Marinas wrote:
> From: Will Deacon <will.deacon at arm.com>
> 
> Now that the Kernel supports 2 level and 3 level page tables, physical
> addresses (and also page table entries) may be 32 or 64-bits depending
> upon the configuration.
> 
> This patch adds a conversion specifier (PHYS_ADDR_FMT) which represents
> a u32 or u64 depending on the width of a physical address.

I hope this patch is gone in v3.