arm64: Fix data type for physical address
authorMin-Hua Chen <orca.chen@gmail.com>
Wed, 8 Oct 2014 15:45:59 +0000 (16:45 +0100)
committerCatalin Marinas <catalin.marinas@arm.com>
Thu, 13 Nov 2014 14:58:45 +0000 (14:58 +0000)
Use phys_addr_t for physical address in alloc_init_pud. Although
phys_addr_t and unsigned long are 64 bit in arm64, it is better
to use phys_addr_t to describe physical addresses.

Signed-off-by: Min-Hua Chen <orca.chen@gmail.com>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>

No differences found